Theorem WeierstrassCurve.Jacobian.add_equiv

Modification history