1 problem

Let $S=\operatorname{Spec}(\mathcal O_K)$ be the spectrum of a discrete valuation ring with local parameter $\pi$ and residue field $k$, let $X$ be a scheme of finite type over $S$…