Theorem IsCyclotomicExtension.zeta_pow

Modification history