Def SSet.StrictSegal.truncation

Modification history

2025-11-17 08:49
Mathlib/AlgebraicTopology/SimplicialSet/StrictSegal.lean
feat(AlgebraicTopology): inductive construction of StrictSegal structures (#31250) …
Deleted SSet.StrictSegal.truncationView on Github →
2025-04-01 11:15
Mathlib/AlgebraicTopology/SimplicialSet/StrictSegal.lean
refactor(AlgebraicTopology/SimplicialSet): truncated paths (#20668) …
Added SSet.StrictSegal.truncationView on Github →