The product of the normalized cell measures of a family of form cells is a probability measure concentrated on the product cell, giving each congruence box mod `m^L` mass `q^{-(Σ dᵢ)(L-1)}`.

Initializing...

The product of the normalized cell measures of a family of form cells is a probability measure concentrated on the product cell, giving each congruence box mod `m^L` mass `q^{-(Σ dᵢ)(L-1)}`. · Prove2Me