Theorem IsPrimitiveRoot.minpoly_eq_pow

Modification history