Nuprl Definition : pv8_p1_dummy_ballot
pv8_p1_dummy_ballot() == inr 
Definitions occuring in Statement :
it: ,
inr: inr x
FDL editor aliases :
pv8_p1_dummy_ballot
pv8_p1_dummy_ballot
pv8\_p1\_dummy\_ballot() == inr \mcdot{}
Date html generated:
2012_02_20-PM-07_22_29
Last ObjectModification:
2012_02_06-PM-01_42_09
Home
Index