Theorem IsCyclotomicExtension.two_pow_norm_zeta_sub_one

Modification history