Under an invariant probability measure, each fibre of a surjection onto a finite group has mass `1/|Q|`.

Initializing...

Under an invariant probability measure, each fibre of a surjection onto a finite group has mass `1/|Q|`. · Prove2Me