Theorem simpllr

Simplification of a conjunction. (Contributed by Jeff Hankins, 28-Jul-2009.) (Proof shortened by Wolf Lammen, 6-Apr-2022.)

Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \wedge \theta \rightarrow \psi \)
Proof
id
ad3antlr _