Loading paper
Local trace formulae and scaling asymptotics in Toeplitz quantization, II | Tomesphere