ScalingStacks

Proof: [036L]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof: Let x∈W∖Uanx\in W\setminus{U^{\rm an}}. Then 4.2 shows that d⁡(x)≤dim(X∖U)<max⁡(p,q)d(x)\leq\dim(X\setminus U)<\max(p,q). By Lemma 5.11, we get x∉supp⁡(α)x\not\in{\rm supp}(\alpha) proving the claim. □\square

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.