Theorem 7.7. Assuming that:

$K$ is a non-archimedean local field of equal characteristic $p > 0$

Then

K ≅ 𝔽_{p^{n}} ((t))

for some

n \geq 1