Theorem IsCyclotomicExtension.subsingleton_iff

Modification history