Definition 7.6 (Equal characteristic). A non-archimedean valued field $(K,\left|\bullet \right|)$ has equal characteristic if $\mathrm{characteristic}(K)=\mathrm{characteristic}(k)$. Otherwise it has mixed characteristic.