diff options
| author | Kazuhiko Sakaguchi | 2020-09-29 20:29:40 +0900 |
|---|---|---|
| committer | GitHub | 2020-09-29 20:29:40 +0900 |
| commit | d196c0953783d161e4b392ceac1ebf0ee9fe35dd (patch) | |
| tree | 232b2ee2bac7c35ac0ad8b5228324f74d4148e2e /mathcomp/_CoqProject | |
| parent | eb47a0a031efab69f9a39c8cf356e2304c1e318f (diff) | |
| parent | fab8ceb34957ca4e261a5ba91cf8379f694dd1b8 (diff) | |
Merge pull request #582 from CohenCyril/fix_map_mx
Fix map_mx_id and a few implicit arguments
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions