Lemma 31.12.6. Let $f : X \to Y$ be a flat morphism of integral locally Noetherian schemes. Let $\mathcal{G}$ be a coherent reflexive $\mathcal{O}_ Y$-module. Then $f^*\mathcal{G}$ is a coherent reflexive $\mathcal{O}_ X$-module.

Proof. Omitted. See More on Algebra, Lemma 15.22.4 for the algebraic analogue. $\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).