HomeHome Metamath Proof Explorer < Previous   Next >
Related theorems
Unicode version
Syntax Definition wfal 1565
Description: F. is a wff.
Assertion
Ref Expression
wfal wff F.
See definition df-fal 1567 for more information.
Colors of variables: wff set class
Copyright terms: Public domain