Scaling the coordinates by `pi ^ m` multiplies the Haar measure of a measurable subset of `Oⁿ` by `q⁻¹ ^ (m * n)`.

Initializing...

Scaling the coordinates by `pi ^ m` multiplies the Haar measure of a measurable subset of `Oⁿ` by `q⁻¹ ^ (m * n)`. · Prove2Me