P
Initializing...
Proof of Lemma 13, first case — the unvisited transition region contains the simplex · Prove2Me