Theorem IsCyclotomicExtension.Rat.nrComplexPlaces_eq_totient_div_two

Modification history