Proposition 9.6.0.30. The contents of this tag are now split between Corollaries 7.2.2.3 and 7.2.2.10.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proposition 9.6.0.30. The contents of this tag are now split between Corollaries 7.2.2.3 and 7.2.2.10.