Mathlib Changelog
Changelog
About
Github
Def
EllipticCurve.disc_aux
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.disc_aux
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.disc_aux
View on Github →