Mathlib Changelog
v4
Changelog
About
Github
Theorem
WeierstrassCurve.variableChange_a₆
Modification history
2025-04-25 07:22
Mathlib/AlgebraicGeometry/EllipticCurve/VariableChange.lean
chore(AlgebraicGeometry/EllipticCurve/*): refactor VariableChange (#23217) …
Added
WeierstrassCurve.variableChange_a₆
View on Github →