nat.transitive_le
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.