Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 6.3.7.9. Let $S$ be a nonsingular simplicial set. Then every simplicial subset $S' \subseteq S$ is also nonsingular.