Def SimplexCategory.homEquivFunctor

Modification history

2025-10-28 23:08
Mathlib/AlgebraicTopology/SimplexCategory/Defs.lean
feat(AlgebraicTopology): the homotopy category functor preserves products (#25780) …
Added SimplexCategory.homEquivFunctorView on Github →