Corollary 1.2.1.14. Let $S_{}$ be a simplicial set. Then $S_{}$ is empty if and only if $\pi _0( S_{} )$ is empty.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 1.2.1.14. Let $S_{}$ be a simplicial set. Then $S_{}$ is empty if and only if $\pi _0( S_{} )$ is empty.