Birkhoff–von Neumann theorem

GPTKB entity