Graphs Sections NuprlLIB Doc

Def (f1,f2) o g(x) == g(x)/x,y. < f1(x),f2(y) >

is mentioned

In prior sections: graph 1 1 graph 1 2


Graphs Sections NuprlLIB Doc