Example 9.4.6.2. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be an inner fibration of simplicial sets. If $U$ is exponentiable, then it is flat.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 9.4.6.2. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be an inner fibration of simplicial sets. If $U$ is exponentiable, then it is flat.