Theorem WeierstrassCurve.Jacobian.negY_eq

Modification history