diff options
| author | Cyril Cohen | 2020-09-16 20:56:58 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-16 20:56:58 +0200 |
| commit | 98315a4e30f746bc01891992ed53559d1a50e863 (patch) | |
| tree | f5c54be26412d7b7b6f494f829d4078559cd2702 /mathcomp/Makefile.common | |
| parent | c2e7bad5c95a11f42f9f6d282ee2e5d84e27cbed (diff) | |
| parent | ddac4a5d1e560458c61faf81c14db8abfdd06a0c (diff) | |
Merge pull request #594 from chdoc/contra-not-neq
add missing contra lemmas (fixes #587)
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions