Mathlib v3 is deprecated. Go to Mathlib v4

Def monoid_algebra.submodule_of_smul_mem

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.submodule_of_smul_memView on Github →