Doplicher–Haag–Roberts reconstruction theorem

GPTKB entity