Theorem SSet.Edge.mk'_edge

Modification history

2025-11-14 17:31

Mathlib/AlgebraicTopology/SimplicialSet/CompStruct.lean

feat(AlgebraicTopology): Edge and CompStruct for simplicial sets (#31265) …

Added SSet.Edge.mk'_edge View on Github →