Remark 8.5.1.29. Exercise 8.5.0.3 is an immediate consequence of Proposition 8.5.1.27 (see Variant 1.5.6.8).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 8.5.1.29. Exercise 8.5.0.3 is an immediate consequence of Proposition 8.5.1.27 (see Variant 1.5.6.8).