Graphs
Sections
NuprlLIB
Doc
Def
(
x
L.P(x)) == reduce(
x,b. P(x)
b;true
;L)
is mentioned
In prior sections:
graph
1
1
Graphs
Sections
NuprlLIB
Doc
x
L.P(x)) == reduce(
x,b. P(x)
b;true;L)