nat.nat → nat.nat

Parameter S : nat -> nat

axiom S : nat -> nat

constant S : (nat.nat) -> nat.nat

sttfa_S : [nat_sttfa.sttfa_nat -> nat_sttfa.sttfa_nat]

Printing for OpenTheory is not working at the moment.