Theorem QuadraticAlgebra.discr_changeGenerator

Modification history

2026-08-17 09:21

Mathlib/Algebra/QuadraticAlgebra/Discr.lean

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

Added QuadraticAlgebra.discr_changeGenerator View on Github →