ScalingStacks

Lemma 4.13 . [02C5]

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

Lemma 4.13.

If W1W_{1} is normal then WkW_{k} is the embedding of W1W_{1} defined by sections of 𝒪⁡(k){\mathcal{O}}(k).

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