P
Initializing...
Lemma 14 — universal upper bound from RANDOM on the triangular instance · Prove2Me