diff options
| author | Laurent Théry | 2021-03-07 03:17:47 +0100 |
|---|---|---|
| committer | GitHub | 2021-03-07 03:17:47 +0100 |
| commit | 2b61b2b69892fa0eccf2d3f2ecd408c25731b578 (patch) | |
| tree | 8147c83d7faf8384222f1b5b61d0c76fb8cb0515 /.github | |
| parent | 17dd3091e7f809c1385b0c0be43d1f8de4fa6be0 (diff) | |
| parent | dceb926ca83cddecf541934012f6c46eafa6b15f (diff) | |
Merge pull request #710 from CohenCyril/order_enum
Adding Order.enum and related definitions and theorems
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions