Theorem WeierstrassCurve.Jacobian.polynomialX_eq

Modification history