Nuprl Lemma : LocKnd_wf
LocKnd ∈ Type
Proof
Definitions occuring in Statement :
LocKnd: LocKnd,
member: t ∈ T,
universe: Type
Lemmas :
Id_wf,
Knd_wf,
assert_wf,
hasloc_wf
LocKnd \mmember{} Type
Date html generated:
2015_07_17-AM-09_14_17
Last ObjectModification:
2015_01_28-AM-07_54_47
Home
Index