diff options
| author | Kazuhiko Sakaguchi | 2019-11-15 19:46:20 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-03-15 14:11:47 +0900 |
| commit | 85039b4c536a67ce936c079f519a9a8b6c33f1d6 (patch) | |
| tree | 8c9e74b01ef801758686d0ca5dfd36c2bc0ae405 /mathcomp/_CoqProject | |
| parent | d2443948206ddf78706add540c27341da4abc906 (diff) | |
Extend comparison predicates for nat with minn and maxn
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions