Theorem
19.40
Theorem 19.40 of [Margaris] p. 90. (Contributed by NM, 26-May-1993.)
Conclusion
\( \vdash \exists x \, (\varphi \wedge \psi) \rightarrow \exists x \, \varphi \wedge \exists x \, \psi \)
Proof
l0
exsimpl
exsimpr
jca
l0
_
This is the content in the right pane.