Theorem IsCyclotomicExtension.aeval_zeta

Modification history