Osterwalder–Schrader theorem

GPTKB entity