Def QuadraticAlgebra.changeGeneratorEquiv

Modification history

2026-08-17 09:21

Mathlib/Algebra/QuadraticAlgebra/Basic.lean

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

Added QuadraticAlgebra.changeGeneratorEquiv View on Github →