Situation 74.42.5. Here $A$ is a Noetherian ring complete with respect to an ideal $I$. Also $f : X \to \mathop{\mathrm{Spec}}(A)$ is a finite type separated morphism of algebraic spaces and $\mathcal{I} = I\mathcal{O}_ X$.

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).