Theorem IsCyclotomicExtension.norm_zeta_eq_one

Modification history