Theorem simp3

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 \chi \)
Proof
id
3ad2ant3 _