Theorem SimplexCategory.Truncated.Hom.ext

Modification history

2025-12-18 13:14
Mathlib/AlgebraicTopology/SimplexCategory/Defs.lean
refactor(CategoryTheory): make morphisms in full subcategories a 1-field structure (#26446) …
Modified SimplexCategory.Truncated.Hom.extView on Github →
2025-02-14 08:16
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
chore(AlgebraicTopology): split SimplexCategory.lean (#21625) …
Modified SimplexCategory.Truncated.Hom.extView on Github →
2024-10-09 15:32
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat(AlgebraicTopology/SimplicialSet): SimplicialSet (co)skeleton properties (#16781) …
Added SimplexCategory.Truncated.Hom.extView on Github →