Def SSet.stdSimplex.isTerminalObj₀

Modification history

2025-07-22 07:13
Mathlib/AlgebraicTopology/SimplicialSet/Monoidal.lean
Feat(CategoryTheory): terminal categories with an application to hoFunctor (#25781) …
Added SSet.stdSimplex.isTerminalObj₀View on Github →