Mathlib Changelog
v4
Changelog
About
Github
Def
SSet.horn.spineId
Modification history
2024-11-25 11:42
Mathlib/AlgebraicTopology/SimplicialSet/Path.lean
feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories (#19270) …
Added
SSet.horn.spineId
View on Github →