ScalingStacks

Proof. [02P3]

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.

The general mixed case reduces to the unmixed case f1=⋯=fnf_{1}=\dots=f_{n}, which is Proposition 3.93. ∎

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