Theorem WeierstrassCurve.Projective.addX_neg

Modification history