Remark 11.5.0.94. For relative versions of Corollaries 4.3.6.11 and 4.3.6.13, we refer the reader to ยง11.7.0.11.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 11.5.0.94. For relative versions of Corollaries 4.3.6.11 and 4.3.6.13, we refer the reader to ยง11.7.0.11.