Mathlib v3 is deprecated. Go to Mathlib v4

Def add_monoid_algebra.single_hom

Modification history

2022-02-28 12:46

src/algebra/monoid_algebra/basic.lean

feat(algebra/monoid_algebra/basic): add monomial_hom (#12283) …

Added add_monoid_algebra.single_hom View on Github →