Nuprl Lemma : pv8_p2_init_slot_num_wf
pv8_p2_init_slot_num() 
Proof not projected
Definitions occuring in Statement :
pv8_p2_init_slot_num: pv8_p2_init_slot_num(),
member: t T,
int:
Definitions :
pv8_p2_init_slot_num: pv8_p2_init_slot_num(),
member: t T
pv8\_p2\_init\_slot\_num() \mmember{} \mBbbZ{}
Date html generated:
2012_02_20-PM-07_38_29
Last ObjectModification:
2012_02_06-PM-03_13_11
Home
Index