Nuprl Definition : pv8_p2_init_slot_num

pv8_p2_init_slot_num() ==  1


Definitions occuring in Statement :  natural_number: $n
FDL editor aliases :  pv8_p2_init_slot_num pv8_p2_init_slot_num
pv8\_p2\_init\_slot\_num()  ==    1


Date html generated: 2012_02_20-PM-07_38_23
Last ObjectModification: 2012_02_06-PM-03_06_11

Home Index