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_equivalenceView on Github →