Theorem IsPrimitiveRoot.nthRoots_one_eq_biUnion_primitiveRoots'
Modification history
2024-11-05 19:57
Mathlib/RingTheory/RootsOfUnity/Basic.lean
chore: split RingTheory.RootsOfUnity.Basic (#18669) …
Modified IsPrimitiveRoot.nthRoots_one_eq_biUnion_primitiveRoots'View on Github →