Theorem WeierstrassCurve.VariableChange.id_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 WeierstrassCurve.VariableChange.id_compView on Github →