associative plus

Theorem associative_plus : relations.associative (nat) plus.

theorem associative_plus : (associative) (nat) (plus) .

theorem associative_plus : ((relations.associative) (nat.nat)) ((nat.plus) ).

associative_plus : LEMMA relations_sttfa_th.associative[nat_sttfa.sttfa_nat](nat_sttfa.plus)

Printing for OpenTheory is not working at the moment.