nat.associative_times
associative times
Theorem associative_times : relations.associative (nat) times.
theorem associative_times : (associative) (nat) (times) .
theorem associative_times : ((relations.associative) (nat.nat)) ((nat.times) ).
associative_times : LEMMA relations_sttfa_th.associative[nat_sttfa.sttfa_nat](nat_sttfa.times)
Printing for OpenTheory is not working at the moment.