diff options
| author | Kazuhiko Sakaguchi | 2020-07-09 07:00:42 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-08-12 00:41:42 +0900 |
| commit | c0c2fd1e679688411c0c81ceab4066f2da5486e5 (patch) | |
| tree | c56797a13b1ffcea89318054e03956726b04bd69 /mathcomp/algebra | |
| parent | ea1d26eb0f0c3ada5c159dc163cdc811b5d3239d (diff) | |
Make [fieldExtType F of L] work for abstract instances
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions