P
Initializing...
Convex ⟹ K-convex (Lemma 4.2.1(a)) · Prove2Me