Theorem WeierstrassCurve.Projective.negAddY_neg

Modification history