Exercise 11.5.0.76 (Invariance of the Homotopy Fiber Product). The contents of this tag are now at Corollary 3.4.2.15.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Exercise 11.5.0.76 (Invariance of the Homotopy Fiber Product). The contents of this tag are now at Corollary 3.4.2.15.