Kerodon

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

Remark 4.5.7.9. Let $p: X_{} \rightarrow Y_{}$ and $q: Y_{} \rightarrow Z_{}$ be isofibrations of simplicial sets. Then the composite map $(q \circ p): X_{} \rightarrow Z_{}$ is an isofibration of simplicial sets.