Double commutant theorem

Summary