Theorem IsPrimitiveRoot.zeta_sub_one_prime_of_ne_two

Modification history