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