Theorem simp1

Simplification of triple conjunction. (Contributed by NM, 21-Apr-1994.) (Proof shortened by Wolf Lammen, 22-Jun-2022.)

Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \varphi \)
Proof
id
3ad2ant1 _