Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes