Mathlib Changelog
v4
Changelog
About
Github
Def
Rep.finsuppTensorLeft
Modification history
2025-05-30 11:19
Mathlib/RepresentationTheory/Rep.lean
feat(RepresentationTheory/*): representations on `Finsupp` (#21732) …
Added
Rep.finsuppTensorLeft
View on Github →