ScalingStacks

Remark 3.18. The resulting algebra seminorm $\lvert\mathord{\cdot}\rvert_{\mathcal{P}(\vvvert\mathord{\cdot}\vvvert)}(x)$ gives rise to a pseudometric on $L^{\mathrm{an}}$.