Theorem WeierstrassCurve.Jacobian.addY_neg

Modification history