Theorem WeierstrassCurve.Jacobian.negAddY_smul

Modification history