Kastler–Robinson–Swieca theorem

GPTKB entity