Mathlib Changelog
v4
Changelog
About
Github
Def
SSet.Edge.mk'
Modification history
2025-11-26 09:48
Mathlib/AlgebraicTopology/SimplicialSet/CompStruct.lean
feat(AlgebraicTopology): edges and "triangles" in the nerve of a category (#31274) …
Modified
SSet.Edge.mk'
View on Github →
2025-11-14 17:31
Mathlib/AlgebraicTopology/SimplicialSet/CompStruct.lean
feat(AlgebraicTopology): Edge and CompStruct for simplicial sets (#31265) …
Added
SSet.Edge.mk'
View on Github →