chore(representation_theory/invariants): clean up some simps (#13337)
chore(representation_theory/invariants): clean up some simps (#13337)






leanprover-community/mathlib,leanprover-community/mathlib