refactor(Normed/Group/Quotient): generalise to non-abelian groups #21342

YaelDillies wants to merge 1 commit intomasterleanprover-community/mathlib4:masterfrom

noncomm_normed_group_quotientleanprover-community/mathlib4:noncomm_normed_group_quotientCopy head branch name to clipboard