Def TopCat.stdSimplexHomeomorphI

Modification history

2026-09-02 11:46

Mathlib/AlgebraicTopology/SimplicialSet/TopAdj.lean

refactor(AlgebraicTopology): redefine the topological simplex using `StdSimplex` instead of `stdSimplex` (#42181) …

Deleted TopCat.stdSimplexHomeomorphI View on Github →

2026-03-26 10:27

Mathlib/AlgebraicTopology/SimplicialSet/TopAdj.lean

feat(AlgebraicTopology): API for the geometric realization of simplicial sets (#37099)

Added TopCat.stdSimplexHomeomorphI View on Github →