Theorem
nffal
The false constant has no free variables (see
nftru
). (Contributed by BJ, 6-May-2019.)
Conclusion
\( \vdash \Finv x \, \bot \)
Proof
fal
nfnth
_
This is the content in the right pane.