# Def EllipticCurve.j

#### Modification history

2022-08-02 17:04

src/algebraic_geometry/EllipticCurve.lean

feat(algebraic_geometry/EllipticCurve): add 2-torsion polynomials and changes of variables (#15230)

Modified EllipticCurve.jView on Github →2022-08-02 17:04

src/algebraic_geometry/EllipticCurve.lean

feat(algebraic_geometry/EllipticCurve): add 2-torsion polynomials and changes of variables (#15230)

Modified EllipticCurve.jView on Github →