Theorem WeierstrassCurve.Jacobian.addX_smul

Modification history