P
Initializing...
Lemma 4 — the case $p_1=v_L$, $p_2=v_{HL}$ is dominated (corrected: $\xi_1=1$ or $\xi_1=0$) · Prove2Me