ScalingStacks

Theorem 2.95 . [00K2]

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

Theorem 2.95.

If XX is proper, then XanX^{\mathrm{an}} is Hausdorff and compact. ([Ber, Theorem 3.4.8])

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