Claim 5.7 — under truthfulness, putting ∞ outside an agent's optimal tasks does not lower the chosen make-span

Initializing...

Claim 5.7 — under truthfulness, putting ∞ outside an agent's optimal tasks does not lower the chosen make-span · Prove2Me