Def SSet.Truncated.hoFunctor₂

Modification history

2025-12-15 19:23
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
chore(AlgebraicTopology): fix whitespace (#32908) …
Modified SSet.Truncated.hoFunctor₂View on Github →
2024-12-20 00:42
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(AlgebraicTopology/HomotopyCat): SSet.hoFunctor (#16783) …
Added SSet.Truncated.hoFunctor₂View on Github →