Theorem IsCyclotomicExtension.zeta_spec

Modification history