 Stone formula

Stone's formula recovers spectral projections of a self-adjoint operator from the jump of its resolvent across the real axis, with half weight at interval endpoints.