Theorem anass1rs

Commutative-associative law for conjunction in an antecedent. (Contributed by Jeff Madsen, 19-Jun-2011.)

Hypothesis
anass1rs.1
\( \vdash \varphi \wedge (\psi \wedge \chi) \rightarrow \theta \)
Conclusion
\( \vdash \varphi \wedge \chi \wedge \psi \rightarrow \theta \)
Proof
anass1rs.1
anassrs _
an32s _