diff options
| author | Yves Bertot | 2020-04-01 13:20:32 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-01 13:20:32 +0200 |
| commit | e44b131a6c01c9cac13b48b07e3ee4d7f8e8fb6c (patch) | |
| tree | 5bdd7080085bc2d9cd4bc2c778fdce1e3d48587d /mathcomp/solvable/finmodule.v | |
| parent | 06048e6125b430133e3eb2102e166545f5f804f2 (diff) | |
| parent | 5f1229849aa90f64cf0126f47c622152383ba118 (diff) | |
Merge pull request #429 from pi8027/extend-nat-comparison
Extend comparison predicates for nat with minn and maxn and reorder arguments of those in order.v
Diffstat (limited to 'mathcomp/solvable/finmodule.v')
0 files changed, 0 insertions, 0 deletions