Def MonoidAlgebra.update

Modification history

2026-03-21 18:26

Mathlib/Algebra/MonoidAlgebra/Defs.lean

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

Added MonoidAlgebra.update View on Github →