Theorem
falimd
The truth value \( \bot \) implies anything. (Contributed by Mario Carneiro, 9-Feb-2017.)
Conclusion
\( \vdash \varphi \wedge \bot \rightarrow \psi \)
Proof
falim
adantl
_
This is the content in the right pane.