Nuprl Definition : ballot-none
ballot-none() == inr 
Proof not projected
Definitions occuring in Statement :
it: ,
inr: inr x
Definitions :
inr: inr x ,
it:
FDL editor aliases :
ballot-none
ballot-none() == inr \mcdot{}
Date html generated:
2011_10_20-PM-04_11_44
Last ObjectModification:
2011_01_26-PM-05_36_08
Home
Index