e 
thr == 
i:
||thr||. (e = thr[i])
Definitions :
exists: x:A. B[x],
int_seg: {i..j
},
natural_number: $n,
length: ||as||,
equal: s = t,
es-E: E,
select: l[i]
FDL editor aliases :
ses-thread-member
e \mmember{} thr == \mexists{}i:\mBbbN{}||thr||. (e = thr[i])
Date html generated:
2010_08_28-AM-02_40_59
Last ObjectModification:
2010_02_22-PM-11_05_33
Home
Index