Theorem WeierstrassCurve.Projective.map_polynomialZ

Modification history