ScalingStacks

Corollary 5.4. With the same assumptions as above, the envelop metric $\mathcal{P}(\phi)$ is a Fubini-Study metric induced by $\lVert\mathord{\cdot}\rVert_{\phi}$, and is continuous.