ScalingStacks

Proof. [04JF]

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.

In view of Remark 4.12, we can certainly find a smooth function HH on D2×ID^{2}\times I such that H|Δ=τH|_{\Delta}=\tau. We can then form ℱH\mathcal{F}_{H} using Theorem 4.13. ∎

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