Theorem IsCyclotomicExtension.iff_union_of_dvd

Modification history