Proposition 11.6.0.98. 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 11.6.0.98. The contents of this tag are now split between Corollaries 7.2.2.3 and 7.2.2.10.