Theorem WeierstrassCurve.Projective.negY_eq

Modification history