mathlib

5ed2c728 - feat(representation_theory/Rep): Rep k G ≌ Module (monoid_algebra k G) (#13713)

feat(representation_theory/Rep): Rep k G ≌ Module (monoid_algebra k G) (#13713) Co-authored-by: Antoine Labelle <antoinelab01@gmail.com> Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>