transitive le

Theorem transitive_le : relations.transitive (nat) le.

theorem transitive_le : (transitive) (nat) (le) .

theorem transitive_le : ((relations.transitive) (nat.nat)) ((nat.le_) ).

transitive_le : LEMMA relations_sttfa_th.transitive[nat_sttfa.sttfa_nat](nat_sttfa.le)

Printing for OpenTheory is not working at the moment.