Lemma 113.20.1. Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring. The category of Algebraization of Formal Spaces, Equation (86.26.0.1) for $A$ is equivalent to the category Algebraization of Formal Spaces, Equation (86.26.0.1) for the henselization $A^ h$ of $A$.

Proof. This is a special case of Algebraization of Formal Spaces, Lemma 86.26.3. $\square$

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