Kerodon

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

Remark 5.7.8.4. Theorem 5.7.8.3 is an immediate consequence of Theorem 5.7.5.10. We will see at the end of this section that the converse is also true.