Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Action.right_dual_ρ

Modification history

2022-06-15 18:51

src/representation_theory/Action.lean

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

Added Action.right_dual_ρ View on Github →