Theorem MonoidAlgebra.ofCoeff_erase

Modification history

2026-03-21 18:26
Mathlib/Algebra/MonoidAlgebra/Defs.lean
feat(Algebra/MonoidAlgebra): `erase` and `update` (#36848) …
Added MonoidAlgebra.ofCoeff_eraseView on Github →