nat.nat → nat.nat → ℙ

Parameter le : nat -> nat -> Prop

axiom le : nat -> nat -> Prop

constant le : (nat.nat) -> (nat.nat) -> Prop

le : [nat_sttfa.sttfa_nat -> [nat_sttfa.sttfa_nat -> bool]]

Printing for OpenTheory is not working at the moment.