Theorem WeierstrassCurve.Projective.Y_ne_negY_of_Y_ne'

Modification history