Theorem IsCyclotomicExtension.splits_X_pow_sub_one

Modification history