diff options
| author | Reynald Affeldt | 2020-06-18 19:21:14 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-08-25 18:40:27 +0900 |
| commit | a334a9405ee1706747715616f6c5c244036f877a (patch) | |
| tree | 383a7607ff61ea2542760d43acead540046768a3 /kernel/type_errors.ml | |
| parent | 3405ab8405e141dd0a28c72c8ca221ed6f50dfed (diff) | |
add contra lemmas introduced by MathComp's PR #499
(https://github.com/math-comp/math-comp/pull/499/)
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions