refactor(group_theory/quotient_group): Fix typo (#9746)
refactor(group_theory/quotient_group): Fix typo (#9746)

Fix typo in `quotient_bot`.





leanprover-community/mathlib,leanprover-community/mathlib