MaxReserve == es-interface-accum(
mx,x.imax(mx;snd(x));0;x1)
Definitions :
natural_number: $n,
pi2: snd(t),
imax: imax(a;b),
lambda: x.A[x]
MaxReserve == es-interface-accum(\mlambda{}mx,x.imax(mx;snd(x));0;x1)
Date html generated:
2010_08_30-AM-12_51_05
Last ObjectModification:
2010_08_16-PM-01_30_30
Home
Index