Vote == ((inl bv where bv from MaxAccept)'?inr 
) when 1a
Definitions :
it: ,
inr: inr x ,
abbr30: MaxAccept,
inl: inl x ,
map-class: (f[v] where v from X),
es-prior-class-when: (X'?d) when Y
FDL editor aliases :
abbr31
Vote == ((inl bv where bv from MaxAccept)'?inr \mcdot{} ) when 1a
Date html generated:
2010_08_28-PM-01_41_39
Last ObjectModification:
2010_08_05-PM-05_38_06
Home
Index