fix(group_theory/subgroup): Fix doubly-namespaced instance (#5378)
fix(group_theory/subgroup): Fix doubly-namespaced instance (#5378)

Not sure why the linter missed this.






leanprover-community/mathlib,leanprover-community/mathlib