diff options
| author | Cyril Cohen | 2019-10-24 14:16:23 +0200 |
|---|---|---|
| committer | Assia Mahboubi | 2019-10-24 14:16:23 +0200 |
| commit | 4b9efb7e411bfd1e9618fa94f61fb065af84e394 (patch) | |
| tree | 59f06e14bcfa83ea505cb13cf8667865068a32d1 /mathcomp/_CoqProject | |
| parent | 0aae7741a280d76c7fb918152e1be30b71a9e5b7 (diff) | |
Added and generalized arithmetic theorems. (#394)
- Added: `modn_divl` and `divn_modl`.
- Generalized `muln_modr` and `muln_modl` removing hypothesis `0 < p`.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions