Theorem WeierstrassCurve.Jacobian.neg_smul_equiv

Modification history