Mathlib v3 is deprecated. Go to Mathlib v4

Def 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 monoid_algebra.single_hom View on Github →