A continuous injective homomorphism from a compact group of image index `n` maps a measurable set of Haar mass `m` to a set of Haar mass `m / n`.

Initializing...

A continuous injective homomorphism from a compact group of image index `n` maps a measurable set of Haar mass `m` to a set of Haar mass `m / n`. · Prove2Me