Theorem WeierstrassCurve.Jacobian.map_negY

Modification history