Def Representation.subrepresentation

feat(RepresentationTheory/*): subrepresentations, quotients by subrepresentations, and representations of quotient groups (#22651) …