Theorem IsCyclotomicExtension.splitting_field_cyclotomic

Modification history