P
Initializing...
Lemma 11 (D1): convexity of Snl · Prove2Me