Theorem QuadraticAlgebra.changeGenerator_injective

Modification history

2026-08-17 09:21

Mathlib/Algebra/QuadraticAlgebra/Basic.lean

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

Added QuadraticAlgebra.changeGenerator_injective View on Github →