Theorem WeierstrassCurve.Projective.Point.toAffineLift_neg

Modification history