X(L) == map(
e.X(e);L)
Definitions :
map: map(f;as),
lambda: x.A[x],
eclass-val: X(e)
FDL editor aliases :
eclass-vals
X(L) == map(\mlambda{}e.X(e);L)
Date html generated:
2010_08_27-PM-02_10_38
Last ObjectModification:
2010_01_25-PM-11_10_22
Home
Index