Theorem IsPrimitiveRoot.minpoly_eq_cyclotomic_of_irreducible

Modification history