diff options
| author | Cyril Cohen | 2021-01-12 18:12:13 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-12 18:12:13 +0100 |
| commit | b6768b0d3724ddd7a68da99dd13694698d9e06d1 (patch) | |
| tree | 1167bff5f8575f21eeb60a199ac5aafd3cca20c4 /mathcomp/Make | |
| parent | 6c4a077c7d2e1346501127c72d10fd8800c205f4 (diff) | |
| parent | 462c14d4dd9752ccb8f12f0047333c285ad6e7ed (diff) | |
Merge pull request #680 from pi8027/pairwise
Add `pairwise` predicate and some missing lemmas
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions