Theorem SSet.Edge.CompStruct.idComp_simplex

Modification history

2025-11-14 17:31
Mathlib/AlgebraicTopology/SimplicialSet/CompStruct.lean
feat(AlgebraicTopology): Edge and CompStruct for simplicial sets (#31265) …
Added SSet.Edge.CompStruct.idComp_simplexView on Github →