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