Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Action.left_dual_V

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.left_dual_V View on Github →