Def SSet.stdSimplex.spineId

Modification history

2025-01-23 17:36
Mathlib/AlgebraicTopology/SimplicialSet/Path.lean
feat(AlgebraicTopology): rename standardSimplex to stdSimplex (#20974) …
Added SSet.stdSimplex.spineIdView on Github →