P

Initializing...

Cook Proposition 1(a): if $L_1 \le_p L_2$ and $L_2 \in \mathbf{P}$, then $L_1 \in \mathbf{P}$ · Prove2Me