Theorem WeierstrassCurve.Jacobian.map_dblZ

Modification history