Nuprl Lemma : es-decl-set_wf
DeclSet ∈ 𝕌'
Proof
Definitions occuring in Statement :
es-decl-set: DeclSet,
member: t ∈ T,
universe: Type
Lemmas :
list_wf,
Id_wf,
l_member_wf,
fpf_wf,
Knd_wf,
assert_wf,
hasloc_wf
DeclSet \mmember{} \mBbbU{}'
Date html generated:
2015_07_17-AM-11_55_11
Last ObjectModification:
2015_01_28-AM-00_41_28
Home
Index