diff options
| author | Cyril Cohen | 2020-08-25 00:21:22 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2021-03-07 02:53:20 +0100 |
| commit | dceb926ca83cddecf541934012f6c46eafa6b15f (patch) | |
| tree | 8147c83d7faf8384222f1b5b61d0c76fb8cb0515 /coq-mathcomp-field.opam | |
| parent | 17dd3091e7f809c1385b0c0be43d1f8de4fa6be0 (diff) | |
Adding Order.enum and related definitions and theorems
Diffstat (limited to 'coq-mathcomp-field.opam')
0 files changed, 0 insertions, 0 deletions