Theorem WeierstrassCurve.Jacobian.neg_equiv

Modification history