Def CategoryTheory.SimplicialObject.Truncated

Modification history

2026-03-09 11:53
Mathlib/AlgebraicTopology/SimplicialObject/Basic.lean
chore: make `SimplicialObject` and `SSet` abbrevs (#35298) …
Deleted CategoryTheory.SimplicialObject.TruncatedView on Github →
2023-04-11 12:30
Mathlib/AlgebraicTopology/SimplicialObject.lean
feat: port AlgebraicTopology.SimplicialObject (#3302)
Added CategoryTheory.SimplicialObject.TruncatedView on Github →