Theorem WeierstrassCurve.twoTorsionPolynomial_disc_of_char_three

Modification history