Def QuadraticAlgebra.map

Modification history

2026-08-17 09:21

Mathlib/Algebra/QuadraticAlgebra/Basic.lean

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

Deleted QuadraticAlgebra.map View on Github →

2026-08-12 07:36

Mathlib/Algebra/QuadraticAlgebra/Basic.lean

feat(Algebra/QuadraticAlgebra): change of generator (#42209) …

Added QuadraticAlgebra.map View on Github →