nat.nat → nat.nat → ℙ

Parameter divides : nat.nat -> nat.nat -> Prop

axiom divides : nat -> nat -> Prop

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

sttfa_divides : [nat_sttfa_th.sttfa_nat -> [nat_sttfa_th.sttfa_nat -> bool]]

Printing for OpenTheory is not working at the moment.