P
Initializing...
Theorem 4.4 — for submodular valuations every α-approximate PNE of Round-Robin is α/3-EF1 · Prove2Me