Theorem WeierstrassCurve.Projective.Point.neg_point

Modification history