On the ball of radius `|pi|^(s+a-1)`, the child coordinate preimage of `T` has measure `q⁻¹^(tri d)` times that of `T` inside the chart image.

Initializing...

On the ball of radius `|pi|^(s+a-1)`, the child coordinate preimage of `T` has measure `q⁻¹^(tri d)` times that of `T` inside the chart image. · Prove2Me