def SSet.isTerminalDeltaZero : CategoryTheory.Limits.IsTerminal (SSet.standardSimplex.obj (SimplexCategory.mk 0))

The object Δ[0] is terminal in SSet.

Equations

• One or more equations did not get rendered due to their size.