diff options
| author | Yves Bertot | 2020-09-07 09:52:45 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-07 09:52:45 +0200 |
| commit | 0d8d89239a0fbd5f5c6856e018054e5cc1dfe404 (patch) | |
| tree | 3603d300a228d35da92a54574de612e08f0ea12e /mathcomp/_CoqProject | |
| parent | 03dd7f46126c5125c7d166bfbcbb8e4b33b1906c (diff) | |
| parent | ec27d03aa60cc87eabb24a832284901e2517faf1 (diff) | |
Merge pull request #568 from CohenCyril/map_mx
Support for `map_mx`
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions