Theorem WeierstrassCurve.Projective.addY_neg

Modification history