Theorem IsCyclotomicExtension.iff_union_singleton_one

Modification history