Graphs Sections NuprlLIB Doc

Def a[i:=v] == < |a|,j.if j=i v else a[j] fi >

is mentioned

In prior sections: graph 1 2


Graphs Sections NuprlLIB Doc