P
Initializing...
Lemma 2.6 (existence) — an instance with continuous nondecreasing latencies admits a Nash flow · Prove2Me