Theorem
moor
"At most one" is still the case when a disjunct is removed. (Contributed by NM, 5-Apr-2004.)
Conclusion
\( \vdash \exists^\ast x \, (\varphi \vee \psi) \rightarrow \exists^\ast x \, \varphi \)
Proof
orc
moimi
_
This is the content in the right pane.