diff options
| author | Florent Hivert | 2017-12-12 15:41:45 +0100 |
|---|---|---|
| committer | Florent Hivert | 2017-12-12 18:20:17 +0100 |
| commit | d212fc7becf0bd00e1cfd52fbd95a6e677dae86e (patch) | |
| tree | 3832e6d5dd204e086c6406ca3eb8c60310e730c5 /mathcomp/_CoqProject | |
| parent | 3e0f4874ce1d421e6a65eb8e745c666cb0313373 (diff) | |
bigop with allpairs
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions