Commit 2026-08-12 07:36 fdc59801
View on Github →feat(Algebra/QuadraticAlgebra): change of generator (#42209)
Add QuadraticAlgebra.map, the R-algebra map induced by a change of generator ω ↦ u • ω + k, and QuadraticAlgebra.mapEquiv, its packaging as an isomorphism when u is a unit.