Hensel's lemma (source code)

= Hensel's lemma
{c}
{wiki}

= Hensel lemma
{c}
{synonym}

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