Translating the strict-transform chart computation: the preimage of a set of chart coordinates under the strict transform on the ball of radius `|pi|^(s+a-1)` has measure `q⁻¹^(tri d)` times that of i

Initializing...

Translating the strict-transform chart computation: the preimage of a set of chart coordinates under the strict transform on the ball of radius `|pi|^(s+a-1)` has measure `q⁻¹^(tri d)` times that of i · Prove2Me