Theorem IsCyclotomicExtension.iff_singleton

Modification history