P
Initializing...
Claim 4.11 — lowering agent $i$'s times keeps every task of $x^i(t)$ with agent $i$ · Prove2Me