Theorem WeierstrassCurve.Projective.Point.toAffineLift_zero

Modification history