Theorem WeierstrassCurve.Projective.Y_eq_of_Y_ne

Modification history