Def MonoidAlgebra.erase

Modification history

2026-03-21 18:26

Mathlib/Algebra/MonoidAlgebra/Defs.lean

feat(Algebra/MonoidAlgebra): `erase` and `update` (#36848) …

Added MonoidAlgebra.erase View on Github →