Mathlib Changelog
v4
Changelog
About
Github
Theorem
autEquivRootsOfUnity_apply_rootOfSplit
Modification history
2023-12-30 19:16
Mathlib/FieldTheory/KummerExtension.lean
feat: Kummer extensions are cyclic. (#9119)
Added
autEquivRootsOfUnity_apply_rootOfSplit
View on Github →