Nuprl Definition : pv11_p1_dummy_ballot
pv11_p1_dummy_ballot() == inr ⋅
Definitions occuring in Statement :
it: ⋅,
inr: inr x
FDL editor aliases :
pv11_p1_dummy_ballot
Latex:
pv11\_p1\_dummy\_ballot() == inr \mcdot{}
Date html generated:
2015_07_23-PM-04_10_51
Last ObjectModification:
2014_11_26-AM-11_21_54
Home
Index