Def CategoryTheory.Functor.chosenProd

Modification history

2024-03-29 21:36

Mathlib/CategoryTheory/ChosenFiniteProducts/FunctorCategory.lean

feat(AlgebraicTopology): the monoidal category structure on simplicial sets (#11396) …

Added CategoryTheory.Functor.chosenProd View on Github →