Lemma 15.111.5. Let $A \subset B$ be an extension of discrete valuation rings. The following are equivalent

$A \to B$ is formally smooth in the $\mathfrak m_ B$-adic topology, and

$A \to B$ is weakly unramified and $\kappa _ B/\kappa _ A$ is a separable field extension.

## Comments (0)