Def QuadraticAlgebra.mapRingHom

Modification history

2026-10-02 15:55

Mathlib/Algebra/QuadraticAlgebra/Basic.lean

feat(Algebra/QuadraticAlgebra): base change of quadratic algebras (#42977) …

Added QuadraticAlgebra.mapRingHom View on Github →