Theorem WeierstrassCurve.Projective.map_polynomial

Modification history