Mathlib v3 is deprecated. Go to Mathlib v4

Def Action.functor_category_monoidal_equivalence

Modification history

2022-05-05 05:36

src/representation_theory/Action.lean

feat(representation_theory): Action V G is rigid whenever V is (#13738)

Added Action.functor_category_monoidal_equivalence View on Github →