Theorem WeierstrassCurve.twoTorsionPolynomial_disc_isUnit

Modification history