Theorem IsPrimitiveRoot.existsUnique

Modification history

2025-02-14 19:33

Mathlib/RingTheory/RootsOfUnity/PrimitiveRoots.lean

feat(RingTheory): frobenius elements (#21770)

Added IsPrimitiveRoot.existsUnique View on Github →