Theorem IsPrimitiveRoot.zeta_sub_one_prime

Modification history