diff options
| author | Emilio Jesus Gallego Arias | 2016-02-09 17:00:47 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2016-02-09 17:49:25 +0100 |
| commit | fba0274616bc888726a18dc1990f9189e11521cd (patch) | |
| tree | a9f6f3cb320e76c30d646d58241e260c6e520a93 /mathcomp/ssreflect/plugin | |
| parent | 997597837a19035d755b753e9db52aa74618e123 (diff) | |
[div] Move dvdn_fact from prime to div.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions