decidability
Sections
ClassicalProps(jlc)
Doc
Def
disjoint(eq;L1;L2) ==
x
L1.
x(
eq) L2
In prior sections:
list
3
jlc
x
L1.
x(eq) L2