diff options
| author | Kazuhiko Sakaguchi | 2020-09-10 08:25:36 +0900 |
|---|---|---|
| committer | GitHub | 2020-09-10 08:25:36 +0900 |
| commit | b28d7cd56d6ab899a9ae01b407c53739e673a8bf (patch) | |
| tree | 3a79c29813aeef2727afc8b0528206c847de9bc8 /mathcomp/_CoqProject | |
| parent | 312a40c08d53a653389a63c22f929d5aba27208c (diff) | |
| parent | 828e60cae73eb7153d1f585f80b125f679dc0461 (diff) | |
Merge pull request #578 from CohenCyril/contra_le
Adding contra lemmas with orders
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions