Nuprl Lemma : pv8_p1_init_active

pv8_p1_init_active()

Proof not projected

Definitions occuring in Statement : pv8_p1_init_active: pv8_p1_init_active(), bool:

, member: t

T
Definitions : pv8_p1_init_active: pv8_p1_init_active(), member: t

T
Lemmas : bfalse_wf

pv8\_p1\_init\_active() \mmember{} \mBbbB{} Date html generated: 2012_02_20-PM-07_24_15 Last ObjectModification: 2012_02_06-PM-01_58_15 Home Index