Theorem IsPrimitiveRoot.zeta_sub_one_prime_of_two_pow

Modification history