Mathlib Changelog
v4
Changelog
About
Github
Def
SimplexCategory.isTerminalZero
Modification history
2025-07-22 07:13
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
Feat(CategoryTheory): terminal categories with an application to hoFunctor (#25781) …
Added
SimplexCategory.isTerminalZero
View on Github →