Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Action.iso.conj_ρ

Modification history

2022-05-05 00:25

src/representation_theory/Action.lean

feat(representation_theory/Action): lemma about isomorphisms in `Action G V` (#13951)

Added Action.iso.conj_ρ View on Github →