diff options
| author | Cyril Cohen | 2020-10-25 13:20:25 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-25 13:20:25 +0100 |
| commit | 86f41151dd20220a19ae7b000c48e1464451a608 (patch) | |
| tree | 81eaff982a7e597d42c904c5014c57d197dfd9ea /mathcomp/_CoqProject | |
| parent | 2b97a257956d307e7cb9ad7d4920fb5db969b69b (diff) | |
| parent | 06b3e9011984666dde6a74b7b7a08b470763bd67 (diff) | |
Merge pull request #612 from pi8027/fix-537
Add new iteration/bigop lemmas and export existing ones in ssralg
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions