Theorem WeierstrassCurve.Jacobian.negAddY_self

Modification history