Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-15 18:51 a5832444

View on Github →

feat(representation_theory/Action): a few lemmas about the rigid structure of Action (#14620)

Estimated changes

added theorem Action.left_dual_V
added theorem Action.left_dual_ρ
added theorem Action.right_dual_V
added theorem Action.right_dual_ρ