Theorem isCyclic_tfae

Modification history

2024-01-06 13:21
Mathlib/FieldTheory/KummerExtension.lean
feat: Cyclic extensions are kummer. (#9368)
Added isCyclic_tfaeView on Github →