ScalingStacks

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