Under an invariant probability measure, the preimage of `S ⊆ Q` under a surjection onto a finite group has mass `|S|/|Q|`.

Initializing...

Under an invariant probability measure, the preimage of `S ⊆ Q` under a surjection onto a finite group has mass `|S|/|Q|`. · Prove2Me