Corollary 11.6.0.101 (The Universal Cocartesian Fibration). The contents of this tag are now at Theorem 5.6.0.2.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 11.6.0.101 (The Universal Cocartesian Fibration). The contents of this tag are now at Theorem 5.6.0.2.