Multiplying monic lifts of pairwise coprime monic residue polynomials `g i` pushes the product of the normalized cell measures forward to the normalized cell measure of `∏ i, g i`.

Initializing...

Multiplying monic lifts of pairwise coprime monic residue polynomials `g i` pushes the product of the normalized cell measures forward to the normalized cell measure of `∏ i, g i`. · Prove2Me