Theorem SSet.δ₂_zero_comp_σ₂_zero

Modification history

2025-08-26 12:07
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(AlgebraicToplogy/SimplexCategory): add notation for faces and degeneracies general truncated simplex categories (#26738)
Deleted SSet.δ₂_zero_comp_σ₂_zeroView on Github →
2025-02-26 16:56
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(AlgebraicTopology/NerveAdjunction): nerve adjunction infrastructure (#21885) …
Modified SSet.δ₂_zero_comp_σ₂_zeroView on Github →
2024-12-20 00:42
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(AlgebraicTopology/HomotopyCat): SSet.hoFunctor (#16783) …
Added SSet.δ₂_zero_comp_σ₂_zeroView on Github →