Over a complete local ring, multiplying monic lifts gives a bijection from the product of the residue cells of pairwise coprime monic `gᵢ` onto the residue cell of `∏ gᵢ` (Hensel).

Initializing...

Over a complete local ring, multiplying monic lifts gives a bijection from the product of the residue cells of pairwise coprime monic `gᵢ` onto the residue cell of `∏ gᵢ` (Hensel). · Prove2Me