diff options
| author | Georges Gonthier | 2015-11-30 18:29:12 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:07:16 +0000 |
| commit | a2b30aa3fd9e2204dbbffa85c04c7e7b9992b53a (patch) | |
| tree | 5c46a958f8ea12b2694512e94c19585bc76fe14b /mathcomp/field | |
| parent | 7737563121b069ab5e15f1f8ddf2533d3fef1434 (diff) | |
Add finLmodType, finLalgType and finAlgType instances
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions