Please check if these have the same meaning. Answer "yes" if they do, otherwise "no".
The different is also defined for an finite degree extension of local fields .
The local is also defined for a different degree of finite field extension .
no