# Commit 2022-04-21 15:20 91cbe460

View on Github →feat(algebra/monoid_algebra/basic): lifts of (add_)monoid_algebras (#13382)
We show that homomorphisms of the grading (add) monoids of (add) monoid algebras lift to ring/algebra homs of the algebras themselves.
This PR is preparation for introducing Laurent polynomials (see adomani_laurent_polynomials, file `data/polynomial/laurent`

for a preliminary version).
Zulip