mathlib

36509369 - feat(representation_theory/Action): lemma about isomorphisms in `Action G V` (#13951)