Double commutant theorem

GPTKB entity