On `O[x] ⧸ (Φ)` the coefficient Haar measure is the product of the power-coordinate measures, and a ball of radius `L` in `r` coordinates has mass `q^(-deg Φ · r · L)`.

Initializing...

On `O[x] ⧸ (Φ)` the coefficient Haar measure is the product of the power-coordinate measures, and a ball of radius `L` in `r` coordinates has mass `q^(-deg Φ · r · L)`. · Prove2Me