diff options
| author | Laurent Théry | 2020-09-08 17:53:02 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-08 17:53:02 +0200 |
| commit | 312a40c08d53a653389a63c22f929d5aba27208c (patch) | |
| tree | 09acbdb12c308521a7184a846c0c1f31fad24251 /mathcomp/_CoqProject | |
| parent | be33b7f39bc8885a6d4f38ac5093ce44767fb375 (diff) | |
| parent | 4a6bb95c42c3b9097abd80d1201197bccc8bb96d (diff) | |
Merge pull request #566 from CohenCyril/sub_sums_genmxP
Lemma `sub_sums_genmxP` (generalizes `sub_sumsmxP`)
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions