In my functional analysis lecture, we have covered two spectral theorems so far. The first one being:

Theorem 1:\underline{\textbf{Theorem 1:}} Suppose H\mathfrak{H} is a Hilbert space and ...