Theorem EllipticCurve.variableChange_id

Modification history

2023-08-01 15:12
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
refactor(AlgebraicGeometry/EllipticCurve/Weierstrass): change the variableChange into a structure (#5841) …
Added EllipticCurve.variableChange_idView on Github →