diff options
| author | Florent Hivert | 2019-11-14 15:57:35 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2019-11-14 15:57:35 +0100 |
| commit | 03dc3079d231817a99cb896c3cd264792c568514 (patch) | |
| tree | 5c37b5ddc8115c71c10227bf780ce94701b2a637 /mathcomp/_CoqProject | |
| parent | 521e80b0729baa445c2c1884f5f96d594deda0c8 (diff) | |
Lemmas on commutation with big sum and prod (#413)
* Lemmas on commutation with big sum and prod
* Added commrB Lemma
* @CohenCyril review
* apply -> apply:
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions