diff options
| author | Cyril Cohen | 2020-08-11 02:49:27 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-11 02:49:27 +0200 |
| commit | 16a8f48a4ac0a871ece84049f6271a6926e850e3 (patch) | |
| tree | 10aca5d616887d9e363b39722f44ef72d8743f9f /mathcomp/_CoqProject | |
| parent | 0265476610747475a856f0560a86fe3b5409469f (diff) | |
| parent | a79e8b941cfd4a3343a90f14fba3b7f70293e679 (diff) | |
Merge pull request #541 from chdoc/properC
lemmas for proper and setC
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions