Theorem WeierstrassCurve.Jacobian.map_addY

Modification history