Def adjoinRootXPowSubCEquiv

Modification history

2024-08-21 08:17
Mathlib/FieldTheory/KummerExtension.lean
chore: more byAsSorry backports (#15972)
Modified adjoinRootXPowSubCEquivView on Github →
2023-12-30 19:16
Mathlib/FieldTheory/KummerExtension.lean
feat: Kummer extensions are cyclic. (#9119)
Added adjoinRootXPowSubCEquivView on Github →