Theorem WeierstrassCurve.twoTorsionPolynomial_disc_ne_zero_of_isElliptic

Modification history