Theorem IsCyclotomicExtension.norm_zeta_sub_one_of_isPrimePow

Modification history