Kerodon

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

Remark 6.3.0.5. By swapping the roles of the monomorphisms $i: A_{} \hookrightarrow B_{}$ and $i': A'_{} \hookrightarrow B'_{}$ in the proof of Proposition 6.5.0.10, we obtain a proof of Theorem 3.1.3.1 (which is essentially the same as the proof given in ยง3.1.3).