// This prints the left floatting menu
Dedukti    Load Matita      Load Coq         Load Lean        Load PVS         Load OpenTheory Load
Dedukti-jumb

Theorem

nat.transitive_lt

Statement

transitive lt

Main Dependencies
Theory
Coq-Jumb
Statement

Theorem transitive_lt : relations.transitive (nat) lt.


Matita-Jumb
Statement

theorem transitive_lt : (transitive) (nat) (lt) .


Lean-jumb
Statement

theorem transitive_lt : ((relations.transitive) (nat.nat)) ((nat.lt_) ).


PVS-jumb
Statement

transitive_lt : LEMMA relations_sttfa_th.transitive[nat_sttfa.sttfa_nat](nat_sttfa.lt)


OpenTheory

Printing for OpenTheory is not working at the moment.