diff options
| author | Cyril Cohen | 2020-08-13 17:22:21 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-13 17:22:21 +0200 |
| commit | 43ac266e1e99cad08a9c291b99efcc7eddc244e7 (patch) | |
| tree | 4199189c1d088c23d4df5f547f3c6d7a20ee6b85 /mathcomp/_CoqProject | |
| parent | 6bb890c906f8cf9b9abfcca5e28921edf3a349a4 (diff) | |
| parent | c0c2fd1e679688411c0c81ceab4066f2da5486e5 (diff) | |
Merge pull request #545 from pi8027/fieldext
Make [fieldExtType F of L] work for abstract instances
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions