Theorem WeierstrassCurve.Jacobian.equiv_iff_eq_of_Z_eq

Modification history