Nuprl Lemma : nat-to-incomparable

{

[n:

]. (nat-to-incomparable(n)

Name) }

{ Proof }

Definitions occuring in Statement : nat-to-incomparable: nat-to-incomparable(n), name: Name, nat:

, uall:

[x:A]. B[x], member: t

T
Definitions : uall:

[x:A]. B[x], member: t

T, name: Name, nat-to-incomparable: nat-to-incomparable(n)
Lemmas : append_wf, nat-to-str_wf, nat_wf

\mforall{}[n:\mBbbN{}]. (nat-to-incomparable(n) \mmember{} Name) Date html generated: 2011_08_10-AM-07_42_49 Last ObjectModification: 2011_06_18-AM-08_09_47 Home Index