diff options
| author | Christian Doczkal | 2020-06-26 11:25:15 +0200 |
|---|---|---|
| committer | Christian Doczkal | 2020-06-26 11:25:15 +0200 |
| commit | a79e8b941cfd4a3343a90f14fba3b7f70293e679 (patch) | |
| tree | e99e0f620b040c187f5413f7a815ea4aceae1a80 /mathcomp/_CoqProject | |
| parent | 3728862662bd0a5b836dfa746921954604d051ec (diff) | |
lemmas for proper and setC
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions