Def Representation.quotient

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