Theorem MonoidAlgebra.smul_apply

Modification history

2025-07-22 22:48

Mathlib/Algebra/MonoidAlgebra/Defs.lean

feat(MonoidAlgebra): miscellaneous basic lemmas (#27199) …

Added MonoidAlgebra.smul_apply View on Github →