Theorem anandi3r

Distribution of triple conjunction over conjunction. (Contributed by David A. Wheeler, 4-Nov-2018.)

Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \varphi \wedge \psi \wedge (\chi \wedge \psi) \)
Proof
l0
3anan32
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \varphi \wedge \chi \wedge \psi \)
anandir
\( \vdash \varphi \wedge \chi \wedge \psi \leftrightarrow \varphi \wedge \psi \wedge (\chi \wedge \psi) \)
bitri l0 _