Theorem IsCyclotomicExtension.zeta_isRoot

Modification history