# Def EllipticCurve.two_torsion_polynomial

#### Modification history

2022-12-05 08:18

src/algebraic_geometry/EllipticCurve.lean

refactor(algebraic_geometry/EllipticCurve): generalise elliptic curves into weierstrass curves (#17220) …

Deleted EllipticCurve.two_torsion_polynomialView on Github →