Stone–von_Neumann_theorem loading ...