Theorem WeierstrassCurve.Jacobian.add_smul_equiv

Modification history