Loading paper
A short nonstandard proof of the Spectral Theorem for unbounded self-adjoint operators | Tomesphere