Scaling by a uniformizer `π` maps a measurable set `T ⊆ Oʳ` to a measurable set of coefficient measure `q⁻ʳ · μ(T)`, where `q` is the residue field cardinality.

Initializing...

Scaling by a uniformizer `π` maps a measurable set `T ⊆ Oʳ` to a measurable set of coefficient measure `q⁻ʳ · μ(T)`, where `q` is the residue field cardinality. · Prove2Me