0
Does anyone know how to fill the details of Lemma 2.3.4 from the book "Field Arithmetic". The statement of the lemma goes as follows:
Let $v$ be a discrete valuation of a field $E$, $h\in O_v[X]$ a monic irreducible polynomial of degree $n$, $x$ a root of $h(X)\in\tilde{E}(x)$. Suppose the residu...