nat.nat
0
Parameter nat : Type
axiom nat : Type[0]
axiom nat : Type
sttfa_nat : TYPE+
Printing for OpenTheory is not working at the moment.