Theorem SSet.standardSimplex.id_eq_objEquiv_symm

Modification history

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