Theorem MonoidAlgebra.smul_single

Modification history

2025-01-23 21:56
Mathlib/Algebra/MonoidAlgebra/Defs.lean
fix: add missing `MonoidAlgebra.smul_single` (#20933) …
Added MonoidAlgebra.smul_singleView on Github →