Rule of Exportation/Forward Implication/Formulation 1

Theorem

 * $\paren {p \land q} \implies r \vdash p \implies \paren {q \implies r}$