Theorem MonoidAlgebra.erase_single

Modification history

2026-07-04 08:56

Mathlib/Algebra/MonoidAlgebra/Defs.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified MonoidAlgebra.erase_single View on Github →

2026-03-21 18:26

Mathlib/Algebra/MonoidAlgebra/Defs.lean

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

Added MonoidAlgebra.erase_single View on Github →