Theorem anasss

Associative law for conjunction applied to antecedent (eliminates syllogism). (Contributed by NM, 15-Nov-2002.)

Hypothesis
anasss.1
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \wedge (\psi \wedge \chi) \rightarrow \theta \)
Proof
anasss.1
exp31 _
imp32 _