Mathlib v3 is deprecated. Go to Mathlib v4

Structure EllipticCurve

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 View 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 View on Github →

2021-08-16 02:20

src/algebraic_geometry/EllipticCurve.lean

feat(algebraic_geometry/EllipticCurve): add working definition of elliptic curve (#8558) …

Added EllipticCurve View on Github →