diff options
| author | Cyril Cohen | 2020-11-08 00:25:59 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-12 14:17:50 +0100 |
| commit | 74eb80a663cb1e45147a67dfa8c190547ee850e2 (patch) | |
| tree | 33d62116913d91eae56d06591de1aa4e6edb8ef9 /mathcomp/all | |
| parent | 9bc96e0d82346cdd62e769332c2adfb3a12dc6b7 (diff) | |
Shorter proofs and suggestions by Kazuhiko
Co-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>
Diffstat (limited to 'mathcomp/all')
0 files changed, 0 insertions, 0 deletions