Theorem SSet.stdSimplex.ι₁_whiskerLeft_toSSetObjI_μ

Modification history

2026-03-26 10:27
Mathlib/AlgebraicTopology/SimplicialSet/TopAdj.lean
feat(AlgebraicTopology): API for the geometric realization of simplicial sets (#37099)
Added SSet.stdSimplex.ι₁_whiskerLeft_toSSetObjI_μView on Github →