diff options
| author | Cyril Cohen | 2020-08-25 14:51:41 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-08-25 14:51:41 +0200 |
| commit | d56db9d3a6c098055ebea57557c1d1aaf6f0c9b6 (patch) | |
| tree | 071fe357ba5d244623f8372f0573c7e3efbb1d81 /mathcomp/_CoqProject | |
| parent | 24b1070f8aa8b3fec997380313c9387309644181 (diff) | |
Adding lemma `oddS`
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions