The product of the normalized factor-cell measures is a probability measure concentrated on the product of the cells, giving mass `q^(-(∑ deg g i)(L-1))` to each congruence box modulo `m^L`.

Initializing...

The product of the normalized factor-cell measures is a probability measure concentrated on the product of the cells, giving mass `q^(-(∑ deg g i)(L-1))` to each congruence box modulo `m^L`. · Prove2Me