Theorem SimplexCategory.Truncated.δ₂_zero_comp_δ₂_two

Modification history

2025-11-04 11:56
Mathlib/AlgebraicTopology/SimplexCategory/Truncated.lean
feat(AlgebraicTopology): basic missing lemmas about the simplex category (#31248)
Added SimplexCategory.Truncated.δ₂_zero_comp_δ₂_twoView on Github →