FLT/Mathlib/FieldTheory/
29 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Folders
- Galois/ 2 files, 25 declarations
- SplittingField/ 1 files, 2 declarations
Files
- Separable.lean 1 declarations
- SeparableDegree.lean 1 declarations