Def CategoryTheory.Monoidal.FunctorCategory.tensorObj

Modification history

2023-06-04 08:48

Mathlib/CategoryTheory/Monoidal/FunctorCategory.lean

feat: port CategoryTheory.Monoidal.FunctorCategory (#4646)

Added CategoryTheory.Monoidal.FunctorCategory.tensorObj View on Github →