Def category_theory.monoidal_functor.map_pi

Modification history

2022-06-13 17:42
src/category_theory/monoidal/types.lean
feat(category_theory/monoidal): monoidal functors `Type ⥤ C` acting on powers (#14330)
Added category_theory.monoidal_functor.map_piView on Github →