Theorem IsPrimitiveRoot.minpoly_eq_pow_coprime

Modification history