Theorem IsPrimitiveRoot.zeta_sub_one_prime'

Modification history