Nuprl Lemma : empty-nat-missing_wf
empty-nat-missing() ∈ nat-missing-type()
Proof
Definitions occuring in Statement :
empty-nat-missing: empty-nat-missing(),
nat-missing-type: nat-missing-type(),
member: t ∈ T
Lemmas :
false_wf,
le_wf,
l-ordered-nil,
nat_wf,
less_than_wf,
l_all_nil,
nil_wf,
l-ordered_wf,
l_all_wf2,
l_member_wf,
list_wf
empty-nat-missing() \mmember{} nat-missing-type()
Date html generated:
2015_07_17-AM-08_21_25
Last ObjectModification:
2015_04_02-PM-05_43_09
Home
Index