Theorem WeierstrassCurve.Jacobian.addX_self

Modification history