Graphs Sections NuprlLIB Doc

Def Graph(a:A -- > f(a;b) | b:B) == < vertices = A, edges = AB, incidence = < a,b > . < a,f(a;b) > >

is mentioned

In prior sections: graph 1 2


Graphs Sections NuprlLIB Doc