Theorem SSet.standardSimplex.objEquiv_id

Modification history

2025-01-23 17:36
Mathlib/AlgebraicTopology/SimplicialSet/Basic.lean
feat(AlgebraicTopology): rename standardSimplex to stdSimplex (#20974) …
Deleted SSet.standardSimplex.objEquiv_idView on Github →
2024-11-25 11:42
Mathlib/AlgebraicTopology/SimplicialSet/Basic.lean
feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories (#19270) …
Added SSet.standardSimplex.objEquiv_idView on Github →