bool.true
bool.bool
Parameter true : bool
axiom true : bool
constant true : bool.bool
sttfa_true : bool_sttfa.sttfa_bool
Printing for OpenTheory is not working at the moment.
