Def QuadraticAlgebra.changeGenerator

Modification history

2026-08-17 09:21

Mathlib/Algebra/QuadraticAlgebra/Basic.lean

chore(Algebra/QuadraticAlgebra): rename map/mapEquiv to changeGenerator (#42751) …

Added QuadraticAlgebra.changeGenerator View on Github →