Theorem WeierstrassCurve.Jacobian.addX_neg

Modification history