Remark 11.6.0.88 (Comparison with the Fiber Product). The contents of this tag are now at Warning 3.4.0.8.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 11.6.0.88 (Comparison with the Fiber Product). The contents of this tag are now at Warning 3.4.0.8.