Theorem EllipticCurve.variableChange_comp

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_compView on Github →