Def SSet.standardSimplex.spineId

Modification history

2025-01-23 17:36

Mathlib/AlgebraicTopology/SimplicialSet/Path.lean

feat(AlgebraicTopology): rename standardSimplex to stdSimplex (#20974) …

Deleted SSet.standardSimplex.spineId View on Github →

2024-11-25 11:42

Mathlib/AlgebraicTopology/SimplicialSet/Path.lean

feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories (#19270) …

Added SSet.standardSimplex.spineId View on Github →