Theorem IsCyclotomicExtension.eq_self_sdiff_zero

Modification history