Def SSet.Truncated.ι2₂

Modification history

2025-02-07 22:35

Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean

feat(AlgebraicTopology): notation ⦋n⦌ for SimplexCategory.mk n (#21565) …

Modified SSet.Truncated.ι2₂ View on Github →

2024-12-20 00:42

Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean

feat(AlgebraicTopology/HomotopyCat): SSet.hoFunctor (#16783) …

Added SSet.Truncated.ι2₂ View on Github →