All Questions

Let $S$ be the spectrum of a Henselian discrete valuation ring (called a Henselian trait). Let $f:X\to S$ be a finite type, separated morphism of schemes. Let $\eta\in S$ be the generic point. Let $s\...