ScalingStacks

Proof. [05A8]

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.

This is proved in [GM19, Proposition 3.11] under the additional assumption that XX is separable, which was necessary in order to be able to use [CD, Lemme 6.5.1]. Replacing this with Corollary A.4, the same proof applies to the more general case. ∎

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