Theorem WeierstrassCurve.Projective.Point.toAffine_zero

Modification history