Gelfand–Naimark theorem

GPTKB entity