Commit 2026-03-21 18:26 35567981
View on Github →feat(Algebra/MonoidAlgebra): erase and update (#36848)
This follows what we have for Finsupp and Polynomial.
Erasing is a strange operation to have on MonoidAlgebra, but currently Finsupp.erase is de facto the erase operation on MonoidAlgebra and all this PR is doing is introducing a type-correct spelling.