Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_algebra.smul_of

Modification history

2022-04-10 01:48
src/algebra/monoid_algebra/basic.lean
feat(representation_theory/basic): basics of group representation theory (#11207) …
Added monoid_algebra.smul_ofView on Github →