# Commit 2022-08-02 17:04 c06c6806

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

Mathlib v3 is deprecated. Go to Mathlib v4

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