Def Algebra.algHom

Modification history

2026-04-28 16:44
Mathlib/Algebra/Algebra/Hom.lean
chore(Algebra/Algebra/Tower): make `Algebra.algHom` an alias of `IsScalarTower.toAlgHom` (#38184) …
Deleted Algebra.algHomView on Github →
2025-03-31 07:56
Mathlib/Algebra/Algebra/Hom.lean
feat(RingTheory/PolynomialLaw/Basic): definition and elementary properties of polynomial laws (#22912) …
Added Algebra.algHomView on Github →