Theorem SSet.δ₂_two_comp_σ₂_one

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.δ₂_two_comp_σ₂_oneView on Github →
2025-02-26 16:56
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(AlgebraicTopology/NerveAdjunction): nerve adjunction infrastructure (#21885) …
Added SSet.δ₂_two_comp_σ₂_oneView on Github →