Def SimplexCategory.Truncated.inclusion

Modification history

2025-02-14 08:16
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
chore(AlgebraicTopology): split SimplexCategory.lean (#21625) …
Modified SimplexCategory.Truncated.inclusionView on Github →
2024-11-27 18:16
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat(CategoryTheory): coskeletal simplicial objects (#19492) …
Modified SimplexCategory.Truncated.inclusionView on Github →
2023-04-06 10:57
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat: port AlgebraicTopology.SimplexCategory (#3286)
Added SimplexCategory.Truncated.inclusionView on Github →