The normalized form-product map reflects congruences: if the products of two families in the factor cells agree modulo `m^L`, so do the families.

Initializing...

The normalized form-product map reflects congruences: if the products of two families in the factor cells agree modulo `m^L`, so do the families. · Prove2Me