Theorem WeierstrassCurve.Jacobian.map_polynomialY

Modification history