doc(group_theory.quotient_group): Fix typos in main statement list (#11581)
doc(group_theory.quotient_group): Fix typos in main statement list (#11581)

This now matches the docstring for the declaration in question.





leanprover-community/mathlib,leanprover-community/mathlib