Theorem WeierstrassCurve.Jacobian.add_self

Modification history