diff options
| author | Assia Mahboubi | 2016-02-09 17:51:40 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2016-02-09 17:51:40 +0100 |
| commit | df1b83a3216ee5783e14aa15d2ac2119dc28a758 (patch) | |
| tree | a9f6f3cb320e76c30d646d58241e260c6e520a93 /mathcomp/ssreflect/plugin | |
| parent | 997597837a19035d755b753e9db52aa74618e123 (diff) | |
| parent | fba0274616bc888726a18dc1990f9189e11521cd (diff) | |
Merge pull request #24 from ejgallego/dvdn_fact
[div] Move dvdn_fact from prime to div.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions