Theorem
an21
Swap two conjuncts. (Contributed by Peter Mazsa, 18-Sep-2022.)
Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \psi \wedge (\varphi \wedge \chi) \)
Proof
biid
bianassc
_
bicomi
_
This is the content in the right pane.