Nuprl Lemma : pv8_p1_init_slot_num_wf
pv8_p1_init_slot_num() 
Proof not projected
Definitions occuring in Statement :
pv8_p1_init_slot_num: pv8_p1_init_slot_num(),
member: t T,
int:
Definitions :
pv8_p1_init_slot_num: pv8_p1_init_slot_num(),
member: t T
pv8\_p1\_init\_slot\_num() \mmember{} \mBbbZ{}
Date html generated:
2012_02_20-PM-07_23_13
Last ObjectModification:
2012_02_06-PM-01_58_58
Home
Index