Theorem WeierstrassCurve.Jacobian.map_addU

Modification history