diff options
| author | Cyril Cohen | 2020-08-28 16:17:07 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-28 16:17:07 +0200 |
| commit | 1d48732459725993cf26b88c4b4f7aad6dd8a2be (patch) | |
| tree | 5966ca239532ceb15e3436f0c49ae23ced61ccf2 /mathcomp/_CoqProject | |
| parent | e725070f9809a7d63f063a359dd7ef6bd3800dfd (diff) | |
| parent | d56db9d3a6c098055ebea57557c1d1aaf6f0c9b6 (diff) | |
Merge pull request #556 from CohenCyril/oddS
Adding lemma `oddS`
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions