Theorem WeierstrassCurve.Jacobian.X_eq_of_equiv

Modification history