The coefficient Haar measure on `O^r` is the product of the coefficient measure on `O`, transported along `O^1 ≃ O`, which is a homeomorphic measurable equivalence.

Initializing...

The coefficient Haar measure on `O^r` is the product of the coefficient measure on `O`, transported along `O^1 ≃ O`, which is a homeomorphic measurable equivalence. · Prove2Me