mathlib

4588400f - chore(group_theory/*): refactor quotient groups to use bundled subgroups (#3321)

chore(group_theory/*): refactor quotient groups to use bundled subgroups (#3321) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk>