Theorem IsCyclotomicExtension.adjoin_roots_cyclotomic_eq_adjoin_nth_roots

Modification history