Theorem IsPrimitiveRoot.minpoly_dvd_x_pow_sub_one

Modification history

2023-06-16 09:03
Mathlib/RingTheory/RootsOfUnity/Minpoly.lean
feat: port RingTheory.RootsOfUnity.Minpoly (#5119) …
Added IsPrimitiveRoot.minpoly_dvd_x_pow_sub_oneView on Github →