SUPPORTjlc
Sections
NuprlLIB
Doc
Def
disjoint(eq;L1;L2) ==
x
L1.
x(
eq) L2
is mentioned
In prior sections:
list
3
jlc
SUPPORTjlc
Sections
NuprlLIB
Doc
x
L1.
x(eq) L2