Theorem QuadraticAlgebra.algebraMap_eq_mapRingHom

Modification history

2026-10-02 15:55
Mathlib/Algebra/QuadraticAlgebra/BaseChange.lean
feat(Algebra/QuadraticAlgebra): base change of quadratic algebras (#42977) …
Added QuadraticAlgebra.algebraMap_eq_mapRingHomView on Github →