diff options
| author | Yves Bertot | 2021-01-25 11:42:04 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-25 11:42:04 +0100 |
| commit | fb9fb240fe7f6a99035a4db23942cb774458d7a3 (patch) | |
| tree | 7c39005e536061079a6eb88e69b07c726be40c59 /mathcomp/Make.test-suite | |
| parent | 5853de19f08ec7ddb3782ea9bb4783fdc8443558 (diff) | |
| parent | f50852b0745b287c0ce8269752507bddd5be9fe2 (diff) | |
Merge pull request #696 from CohenCyril/sumnB
Adding lemma sumnB
Diffstat (limited to 'mathcomp/Make.test-suite')
0 files changed, 0 insertions, 0 deletions