commutative times

Theorem commutative_times : relations.commutative (nat) times.

theorem commutative_times : (commutative) (nat) (times) .

theorem commutative_times : ((relations.commutative) (nat.nat)) ((nat.times) ).

commutative_times : LEMMA relations_sttfa_th.commutative[nat_sttfa.sttfa_nat](nat_sttfa.times)

Printing for OpenTheory is not working at the moment.