mathlib

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