Def autEquivZmod

Modification history

2024-11-04 08:35

Mathlib/FieldTheory/KummerExtension.lean

chore: refactor roots of unity to avoid PNat (#18516) …

Modified autEquivZmod View on Github →

2023-12-30 19:16

Mathlib/FieldTheory/KummerExtension.lean

feat: Kummer extensions are cyclic. (#9119)

Added autEquivZmod View on Github →