Graphs Sections NuprlLIB Doc

Def (xL.P(x)) == reduce(x,b. P(x) b;false;L)

is mentioned

In prior sections: graph 1 1 graph 1 2 graph 1 3


Graphs Sections NuprlLIB Doc