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