A nonempty residue cell is measurable of mass `q^(-n)`, and its normalized cell measure is a probability measure.

Initializing...

A nonempty residue cell is measurable of mass `q^(-n)`, and its normalized cell measure is a probability measure. · Prove2Me