Theorem WeierstrassCurve.Jacobian.map_dblXYZ

Modification history