Theorem MonoidAlgebra.smul_eq

Modification history

2026-04-28 01:10

Mathlib/Algebra/MonoidAlgebra/PointwiseSMul.lean

refactor(Algebra/MonoidAlgebra/PointwiseSMul): switch action from Finsupp to (Add)MonoidAlgebra and multiplicativize (#35243) …

Added MonoidAlgebra.smul_eq View on Github →