Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-05 00:25 36509369

View on Github →

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

Estimated changes

Modified src/representation_theory/Action.lean

added theorem Action.iso.conj_ρ