Hensel uniqueness modulo `m^L`: monic factors with pairwise coprime reductions whose products agree modulo `m^L` agree factorwise modulo `m^L`.

Initializing...

Hensel uniqueness modulo `m^L`: monic factors with pairwise coprime reductions whose products agree modulo `m^L` agree factorwise modulo `m^L`. · Prove2Me