l_intersection(eq;L1;L2) == filter(
x.deq-member(eq;x;L2);L1)
Definitions :
filter: filter(P;l),
lambda: x.A[x],
deq-member: deq-member(eq;x;L)
FDL editor aliases :
l_intersection
l\_intersection(eq;L1;L2) == filter(\mlambda{}x.deq-member(eq;x;L2);L1)
Date html generated:
2010_08_26-PM-11_38_28
Last ObjectModification:
2008_02_27-PM-09_32_46
Home
Index