diff options
| author | Kazuhiko Sakaguchi | 2020-05-04 11:46:30 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-05-04 11:46:30 +0900 |
| commit | 3548a49db7f9ddc181a27ba0762686b2f2aee30c (patch) | |
| tree | a5432a53877fa05fb90ed07217e2f7cb788fbd8c /mathcomp/_CoqProject | |
| parent | 709756f9bbb92b5e5844e0133627271c974a11c2 (diff) | |
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