Lemma 7.5. Assuming that:

• $K$ is a non-archimedean local field

• $L∕K$ a finite extension