Theorem WeierstrassCurve.VariableChange.mul_def

Modification history

2025-04-25 07:22
Mathlib/AlgebraicGeometry/EllipticCurve/VariableChange.lean
chore(AlgebraicGeometry/EllipticCurve/*): refactor VariableChange (#23217) …
Added WeierstrassCurve.VariableChange.mul_defView on Github →