Theorem IsCyclotomicExtension.adjoin_primitive_root_eq_top

Modification history