Hensel lemma (source code)

= Hensel lemma
{c}
{wiki=Hensel's_lemma}

For a complete discrete valuation ring $R$, a simple root of a polynomial modulo the maximal ideal lifts uniquely to a root in $R$.