Theorem IsCyclotomicExtension.splits_cyclotomic

Modification history