Def CategoryTheory.Functor.chosenProd.fst

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.fst View on Github →