Proposition 11.6.0.82. The contents of this tag are essentially contained in Proposition 5.2.2.16.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proposition 11.6.0.82. The contents of this tag are essentially contained in Proposition 5.2.2.16.