diff options
| author | Florent Hivert | 2019-11-04 13:42:59 +0100 |
|---|---|---|
| committer | Florent Hivert | 2019-11-04 13:42:59 +0100 |
| commit | 6ba0e77cd7f8d68647790fe2b704f35ae76ad1f8 (patch) | |
| tree | b84a0bbb76b0a89b17b84fd7d364814dfe7b7a75 /mathcomp/_CoqProject | |
| parent | 8150209d2aaa0034b3dca9d82be1aeb11a12b5ea (diff) | |
Fixed inheritance of fieldExt / fieldOver / splitting field
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions