Theorem
bifal
A contradiction is equivalent to falsehood. (Contributed by Mario Carneiro, 9-May-2015.)
Hypothesis
bifal.1
\( \vdash \neg \varphi \)
Conclusion
\( \vdash \varphi \leftrightarrow \bot \)
Proof
l0
bifal.1
fal
2false
l0
_
This is the content in the right pane.