P
Initializing...
Claim 5.2, proof — the truthful corrected make-span is optimal · Prove2Me