Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-05 05:36 524793de

View on Github →

feat(representation_theory): Action V G is rigid whenever V is (#13738)

Estimated changes