Theorem WeierstrassCurve.Projective.Y_ne_negY_of_Y_ne

Modification history