Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-24 21:45 4fd263ba

View on Github →

feat(representation_theory/character): characters of representations (#14453)

Estimated changes