P
Initializing...
Expectation preserves K-convexity (Lemma 4.2.1(c)) · Prove2Me