Theorem WeierstrassCurve.Jacobian.add_of_equiv

Modification history