Theorem WeierstrassCurve.Projective.Point.toAffine_neg

Modification history