Theorem WeierstrassCurve.Jacobian.map_addX

Modification history