diff options
| author | Cyril Cohen | 2019-10-25 20:26:26 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-11-18 15:20:15 +0100 |
| commit | f6d25edde35e9e1fe6260c7bd3a0717147560d40 (patch) | |
| tree | c7ca5eb303b21c1cf9882551340ee4240bf72125 /mathcomp/algebra/mxpoly.v | |
| parent | 33c8653c2ad25896d2ffa8bcf98053119699b493 (diff) | |
More arithmetic theorems
- Generalizing `ltn_subr`
- Adding `ltn_subl` and `ltn_subr`
- Changing conclusion of `ltn_predl` to `0 < n` instead of `n != 0`
Diffstat (limited to 'mathcomp/algebra/mxpoly.v')
0 files changed, 0 insertions, 0 deletions