Theorem WeierstrassCurve.Projective.map_polynomialX

Modification history