P
Initializing...
Lemma 1 — consequences of (IC) and (FC) along unilateral deviations · Prove2Me