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