Theorem IsCyclotomicExtension.prime_ne_two_pow_norm_zeta_pow_sub_one

Modification history