Theorem WeierstrassCurve.map_variableChange

Modification history

2026-04-28 09:59
Mathlib/AlgebraicGeometry/EllipticCurve/VariableChange.lean
feat(AlgebraicGeometry/EllipticCurve): improve API for maps and base changes (#36328) …
Modified WeierstrassCurve.map_variableChangeView on Github →
2025-04-25 07:22
Mathlib/AlgebraicGeometry/EllipticCurve/VariableChange.lean
chore(AlgebraicGeometry/EllipticCurve/*): refactor VariableChange (#23217) …
Modified WeierstrassCurve.map_variableChangeView on Github →
2024-09-30 15:34
Mathlib/AlgebraicGeometry/EllipticCurve/VariableChange.lean
chore(AlgebraicGeometry/EllipticCurve/*): split `VariableChange` into a new file (#17199)
Modified WeierstrassCurve.map_variableChangeView on Github →
2024-02-19 17:38
Mathlib/AlgebraicGeometry/EllipticCurve/Weierstrass.lean
refactor(AlgebraicGeometry/EllipticCurve/*): rename baseChange to map (#9744) …
Added WeierstrassCurve.map_variableChangeView on Github →