All Questions

Let $f: X\rightarrow S$ be a flat quasi-projective morphism, where $X$ is a smooth variety, and $S$ is a discrete valuation ring. Then we know that $f$ is proper morphism if and only if it satisfies ...