Theorem WeierstrassCurve.Projective.Point.toAffineLift_eq

Modification history