connectives.False
ℙ
Parameter False : Prop
axiom False : Prop
constant False : Prop
sttfa_False : bool
Printing for OpenTheory is not working at the moment.