feat(RepresentationTheory): add stabilizers of vectors in representations#40941

JX-Mo wants to merge 10 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JX-Mo:representation-stabilizerJX-Mo/mathlib4:representation-stabilizerCopy head branch name to clipboard