Extensions of truncated discrete valuation rings II

An equivalence is established between the category of at most $a$-ramified finite separable extensions of a complete discrete valuation field $K$ and the category of at most $a$-ramified finite extensions of the “length-$a$ truncation” $\text{OK}\mathrm{/}{\text{mK}}^a$ of the integer ring of $K$.