Theorem
animorrl
Conjunction implies disjunction with one common formula (4/4). (Contributed by BJ, 4-Oct-2019.)
Conclusion
\( \vdash \varphi \wedge \psi \rightarrow \psi \vee \chi \)
Proof
simpr
orcd
_
This is the content in the right pane.