Def CategoryTheory.Monoidal.FunctorCategory.tensorHom

Modification history

2023-06-04 08:48

Mathlib/CategoryTheory/Monoidal/FunctorCategory.lean

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

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