Theorem IsCyclotomicExtension.singleton_one_of_bot_eq_top

Modification history