diff options
| author | Georges Gonthier | 2015-12-01 09:43:02 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:07:18 +0000 |
| commit | efc830f03047c94b386ea4b356717bd128906014 (patch) | |
| tree | efcd2861a5bf4a33222903acc72d879765c66a7c /mathcomp/field/separable.v | |
| parent | bd8cf1baa6758fef61ba8bd9917dc16bd6150613 (diff) | |
Add instances & lemmas for regular algebras
Diffstat (limited to 'mathcomp/field/separable.v')
0 files changed, 0 insertions, 0 deletions