Theorem WeierstrassCurve.Projective.negAddY_self

Modification history