diff options
| author | Cyril Cohen | 2020-05-04 13:16:47 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-04 13:16:47 +0200 |
| commit | 582a4a3943652b1ba7e9e689bf4051ada17f1c36 (patch) | |
| tree | 43a6e64af7d1850e409fb070013eef1113937a76 /mathcomp/_CoqProject | |
| parent | 9ecb541cd573534a3144dd5b5f86c4312ff798b5 (diff) | |
| parent | 3548a49db7f9ddc181a27ba0762686b2f2aee30c (diff) | |
Merge pull request #493 from pi8027/rm-tuple-lemmas-in-order
Remove the tuple extensions in order.v that is available in tuple.v
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions