Cook Proposition 1(b): if $L_1$ is $\mathbf{NP}$-complete, $L_2 \in \mathbf{NP}$ and $L_1 \le_p L_2$, then $L_2$ is $\mathbf{NP}$-complete

Initializing...

Cook Proposition 1(b): if $L_1$ is $\mathbf{NP}$-complete, $L_2 \in \mathbf{NP}$ and $L_1 \le_p L_2$, then $L_2$ is $\mathbf{NP}$-complete · Prove2Me