# Def EllipticCurve.j

#### 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.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 →