Def SimplexCategory.homEquivOrderHom

Modification history

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