Theorem MonoidAlgebra.smul_single

Modification history

2025-10-14 00:50
Mathlib/Algebra/MonoidAlgebra/Defs.lean
chore(MonoidAlgebra/Defs): reorder, rename variables (#29207) …
Modified MonoidAlgebra.smul_singleView on Github →
2025-01-23 21:56
Mathlib/Algebra/MonoidAlgebra/Defs.lean
fix: add missing `MonoidAlgebra.smul_single` (#20933) …
Added MonoidAlgebra.smul_singleView on Github →