Theorem IsCyclotomicExtension.singleton_one

Modification history