Def EllipticCurve.b4

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)

Deleted EllipticCurve.b4 View on Github →

2022-07-18 17:22

src/algebraic_geometry/EllipticCurve.lean

feat(algebraic_geometry/EllipticCurve): simplify definition of discriminant (#15365) …

Added EllipticCurve.b4 View on Github →