Theorem IsPrimitiveRoot.arg

Modification history

2023-06-07 13:39

Mathlib/RingTheory/RootsOfUnity/Complex.lean

feat: port RingTheory.RootsOfUnity.Complex (#4798)

Added IsPrimitiveRoot.arg View on Github →