Corollary 11.6.0.93. The contents of this tag are now at Proposition 11.6.0.89.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. Apply Proposition 7.1.6.21 in the special case $\operatorname{\mathcal{E}}= \operatorname{\mathcal{D}}$ and $\operatorname{\mathcal{E}}' = \{ D\} $. $\square$