Theorem WeierstrassCurve.Jacobian.map_polynomialX

Modification history