Theorem WeierstrassCurve.Jacobian.neg_smul

Modification history