Theorem ancli

Deduction conjoining antecedent to left of consequent. (Contributed by NM, 12-Aug-1993.)

Hypothesis
ancli.1
\( \vdash \varphi \rightarrow \psi \)
Conclusion
\( \vdash \varphi \rightarrow \varphi \wedge \psi \)
Proof
l0
id
ancli.1
jca l0 _