Theorem WeierstrassCurve.Projective.Y_eq_negY_of_Y_eq

Modification history