Mathlib Changelog
v4
Changelog
About
Github
Def
SSet.Truncated.ι2₂
Modification history
2024-12-20 00:42
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
feat(AlgebraicTopology/HomotopyCat): SSet.hoFunctor (#16783) …
Added
SSet.Truncated.ι2₂
View on Github →