Remark 89.9.2. Suppose $\mathcal{F}$ is a predeformation category admitting a smooth morphism $\varphi : \mathcal U \to \mathcal{F}$ from a predeformation category $\mathcal{U}$. Then by Lemma 89.8.8 $\varphi$ is essentially surjective, so by Lemma 89.8.7 $p: \mathcal{F} \to \mathcal{C}_\Lambda$ is smooth if and only if the composition $\mathcal U \xrightarrow {\varphi } \mathcal{F} \xrightarrow {p} \mathcal{C}_\Lambda$ is smooth, i.e. $\mathcal{F}$ is smooth if and only if $\mathcal{U}$ is smooth.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).