Theorem WeierstrassCurve.Jacobian.negAddY_neg

Modification history