Theorem MonoidAlgebra.coeff_erase

Modification history

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