P
Initializing...
Lemma 11.1 — solutions of the LP with data $(y_1e_1, A(\alpha,\beta,m,N))$ · Prove2Me