Kerodon

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

Remark 1.4.6.3 (Two-out-of-three). Let $f: X \rightarrow Y$ and $g: Y \rightarrow Z$ be morphisms in an $\infty $-category $\operatorname{\mathcal{C}}$ and let $h$ be a composition of $f$ and $g$. If any two of the morphisms $f$, $g$, and $h$ is an isomorphism, then so is the third.