Theorem IsPrimitiveRoot.subOneIntegralPowerBasis'_gen_prime

Modification history