Def SimplexCategory.Truncated

Modification history

2025-11-04 11:56
Mathlib/AlgebraicTopology/SimplexCategory/Defs.lean
feat(AlgebraicTopology): basic missing lemmas about the simplex category (#31248)
Deleted SimplexCategory.TruncatedView on Github →
2025-02-14 08:16
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
chore(AlgebraicTopology): split SimplexCategory.lean (#21625) …
Modified SimplexCategory.TruncatedView on Github →
2023-04-06 10:57
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat: port AlgebraicTopology.SimplexCategory (#3286)
Added SimplexCategory.TruncatedView on Github →