Mathlib Changelog
v4
Changelog
About
Github
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.homEquivFunctor
View on Github →