Theorem WeierstrassCurve.Projective.addZ_neg

Modification history