For factor families in the residue cells of pairwise coprime monic `g i`, the factor products are congruent modulo `m^L` iff the families are.

Initializing...

For factor families in the residue cells of pairwise coprime monic `g i`, the factor products are congruent modulo `m^L` iff the families are. · Prove2Me