Theorem IsPrimitiveRoot.subOneIntegralPowerBasis_gen_prime

Modification history