Theorem WeierstrassCurve.Jacobian.map_negAddY

Modification history