A.adjl-graph(A), A.adjl-obj{\\\\v:l,i:l}(A))
graph:type
Graphr:typeGraphObject(graph(r))
Type{i'}| Some definitions of interest. | |
| adjl-rep | Def AdjListRep == mkgraphrep(AdjList, A.adjl-graph(A), A.adjl-obj{\\\\v:l,i:l}(A)) |
| graphrep | Def Graph Representation == type:Typegraph:typeGraphr:typeGraphObject(graph(r)) |
| Thm* Graph Representation Type{i'} |
About:
 |  |  |  |  |  |  |