Galois extension
Let formula_1 be a finite Galois extension of nonarchimedean local fields with finite residue fields formula_2 and Galois group formula_3. Then the following are equivalent.