Duistermaat–Grünbaum trace formula

GPTKB entity