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

Commit

3 years ago

feat(algebraic_geometry/EllipticCurve): add 2-torsion polynomials and changes of variables (#15230) Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk>

Author

Multramate

Parents

2a2d33c8

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

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