P

Initializing...

Claim 4.19, part 5 — merging two randomly allocated l-tasks can only increase the expected make-span · Prove2Me