Theorem WeierstrassCurve.twoTorsionPolynomial_disc_of_char_two

Modification history