Theorem WeierstrassCurve.Jacobian.add_smul_of_equiv

Modification history