Theorem WeierstrassCurve.Jacobian.addZ_self

Modification history