Def fdRep.of

feat(representation_theory): fdRep k G, the category of finite dim representations of G (#13740) …