Nuprl Lemma : thread_wf
Thread ∈ Type
Proof
Definitions occuring in Statement :
thread: Thread,
member: t ∈ T,
universe: Type
Lemmas :
Id_wf
Thread \mmember{} Type
Date html generated:
2015_07_17-AM-09_04_36
Last ObjectModification:
2015_01_27-PM-00_52_40
Home
Index