m:AdjMatrix. adjl-graph(adjm_to_adjl(m)) 
adjm-graph(m) H == 
vmap:(Vertices(G)
Vertices(H)), emap:(Edges(G)Edges(H)). Bij(Vertices(G); Vertices(H); vmap) & Bij(Edges(G); Edges(H); emap) & (vmap,vmap) o Incidence(G) = Incidence(H) o emap
is mentioned by
| Thm* m:AdjMatrix. adjl-graph(adjm_to_adjl(m)) adjm-graph(m) | [adjm_to_adjl_graph] |
In prior sections: graph 1 2
Try larger context:
Graphs