Theorem WeierstrassCurve.Projective.map_polynomialY

Modification history