diff options
| author | Cyril Cohen | 2017-12-14 12:11:58 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-14 12:11:58 +0100 |
| commit | e4e5648250de1354366aa3b0637f8d6d72f5180f (patch) | |
| tree | 3832e6d5dd204e086c6406ca3eb8c60310e730c5 /mathcomp/_CoqProject | |
| parent | 3e0f4874ce1d421e6a65eb8e745c666cb0313373 (diff) | |
| parent | d212fc7becf0bd00e1cfd52fbd95a6e677dae86e (diff) | |
Merge pull request #168 from hivert/allpairs
bigop with allpairs
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions