Stone-Von Neumann Theorem

$\exists A:U_t=e^{itA}$ for any strongly continuous one-parameter unitary group on a Hilbert Space $\mathcal{H}$.

Proof

• Add proof of Stone-Von Neumann Theorem