mathlib3

31529827 - feat(representation/Rep): linear structures (#13782)

feat(representation/Rep): linear structures (#13782) Make `Rep k G` a `k`-linear (and `k`-linear monoidal) category. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>