Theorem IsCyclotomicExtension.Rat.Three.eta_sq_add_eta_add_one

Modification history