[Merged by Bors] - chore(GroupTheory/QuotientGroup/Basic): remove transitive import#39604

qawbecrdtey wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

qawbecrdtey:grouptheory_quotientgroup_basicqawbecrdtey/mathlib4:grouptheory_quotientgroup_basicCopy head branch name to clipboard