Hensel's lemma: over a complete local ring, a coprime monic factorization `g * h` of the residue reduction of a monic `F` lifts to a monic factorization `F = G * H` with the same degrees.

Initializing...

Hensel's lemma: over a complete local ring, a coprime monic factorization `g * h` of the residue reduction of a monic `F` lifts to a monic factorization `F = G * H` with the same degrees. · Prove2Me