$\xymatrix{ \mathcal{X}' \ar[r] \ar[d]_{f'} & \mathcal{X} \ar[d]^ f \\ \mathcal{Y}' \ar[r] & \mathcal{Y} }$

be a cartesian diagram of algebraic stacks.

1. Let $x' \in |\mathcal{X}'|$ with image $x \in |\mathcal{X}|$. If $f$ induces an isomorphism between automorphism groups at $x$ and $f(x)$ (Remark 100.19.5), then $f'$ induces an isomorphism between automorphism groups at $x'$ and $f(x')$.

2. If $\mathcal{I}_\mathcal {X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{I}_\mathcal {Y}$ is an isomorphism, then $\mathcal{I}_{\mathcal{X}'} \to \mathcal{X}' \times _{\mathcal{Y}'} \mathcal{I}_{\mathcal{Y}'}$ is an isomorphism.

Proof. Omitted. $\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).