Def MonoidAlgebra.singleAddHom

Modification history

2025-10-14 00:50
Mathlib/Algebra/MonoidAlgebra/Defs.lean
chore(MonoidAlgebra/Defs): reorder, rename variables (#29207) …
Added MonoidAlgebra.singleAddHomView on Github →