diff options
| author | Cyril Cohen | 2020-08-25 00:21:43 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-04 12:39:19 +0200 |
| commit | ec27d03aa60cc87eabb24a832284901e2517faf1 (patch) | |
| tree | 3603d300a228d35da92a54574de612e08f0ea12e /mathcomp/_CoqProject | |
| parent | 03dd7f46126c5125c7d166bfbcbb8e4b33b1906c (diff) | |
Adding more map_mx lemmas
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions