Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-11 20:58 455bc657

View on Github →

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

Estimated changes