Loading paper
Direct integrals and spectral averaging | Tomesphere