Nuprl Lemma : pi-process_wf
pi-process() ∈ Type
Proof
Definitions occuring in Statement :
pi-process: pi-process(),
member: t ∈ T,
universe: Type
Lemmas :
Process_wf,
piM_wf
Latex:
pi-process() \mmember{} Type
Date html generated:
2015_07_23-AM-11_36_20
Last ObjectModification:
2015_01_29-AM-07_39_37
Home
Index