Loading paper
The spherical Hall algebra of $\overline{\operatorname{Spec}(\mathcal{O}_K)}$ | Tomesphere