Theorem WeierstrassCurve.Jacobian.map_negDblY

Modification history