Theorem SSet.StrictSegal.spineToSimplex_arrow

Modification history

2024-11-14 20:28
Mathlib/AlgebraicTopology/SimplicialSet/StrictSegal.lean
feat(AlgebraicTopology/SimplicialSet): paths and the strict segal condition (#18499) …
Added SSet.StrictSegal.spineToSimplex_arrowView on Github →