Theorem 3simpc

Simplification of triple conjunction. (Contributed by NM, 21-Apr-1994.) (Proof shortened by Andrew Salmon, 13-May-2011.) (Proof shortened by Wolf Lammen, 21-Jun-2022.)

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