Commit 2022-04-21 15:20 91cbe460View 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).