Def SSet.Edge.CompStruct.idComp

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 View on Github →