Kerodon

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

Remark 3.2.4.10. Let $f: X \rightarrow Y$ and $g: Y \rightarrow Z$ be morphisms of simplicial sets. If either $f$ or $g$ is nullhomotopic, then the composition $g \circ f$ is nullhomotopic.