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_primitiveRootsView on Github →