Nuprl Lemma : pi-null-trans_wf
pi-null-trans() ∈ pi-process()
Proof
Definitions occuring in Statement :
pi-null-trans: pi-null-trans(),
pi-process: pi-process(),
member: t ∈ T
Lemmas :
rec-process_wf_pi_simple_state,
unit_wf2,
it_wf,
subtype_rel_wf,
pi-process_wf,
make-lg_wf_dag,
Id_wf,
Com_wf,
piM_wf,
nil_wf
Latex:
pi-null-trans() \mmember{} pi-process()
Date html generated:
2015_07_23-AM-11_59_18
Last ObjectModification:
2015_01_29-AM-07_41_28
Home
Index