FLT/Mathlib/FieldTheory/Galois/
25 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Basic.lean 12 declarations
- Infinite.lean 13 declarations
FLT/Mathlib/FieldTheory/Galois/25 declarations, 0 contain sorry, 0 declared as axioms; 2 files