P
Initializing...
Lemma 2.6 (essential uniqueness) — all Nash flows have the same cost · Prove2Me