Theorem finrank_of_isSplittingField_X_pow_sub_C

Modification history

2024-10-03 19:18
Mathlib/FieldTheory/KummerExtension.lean
chore: Rename `FiniteDimensional.finrank` to `Module.finrank` (#17192) …
Modified finrank_of_isSplittingField_X_pow_sub_CView on Github →
2023-12-30 19:16
Mathlib/FieldTheory/KummerExtension.lean
feat: Kummer extensions are cyclic. (#9119)
Added finrank_of_isSplittingField_X_pow_sub_CView on Github →