Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-13 17:42 3225926b

View on Github →

feat(category_theory/monoidal): monoidal functors Type ⥤ C acting on powers (#14330)

Estimated changes