[Merged by Bors] - feat: group instances on `Colex α`#30483

vihdzp wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

vihdzp:vi.syn_colexvihdzp/mathlib4:vi.syn_colexCopy head branch name to clipboard