Theorem IsCyclotomicExtension.singleton_zero_of_bot_eq_top

Modification history