is mentioned by
Thm* ![]() ![]() ![]() ![]() ![]() ![]() | [adjl_out_wf] |
Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [adjm_adj_wf] |
Def adjl-graph(G) == < vertices = ![]() ![]() ![]() ![]() ![]() | [adjl-graph] |
Def AdjList == size:![]() ![]() ![]() ![]() ![]() ![]() | [adjlist] |
Def adjm-graph(A) == < vertices = ![]() ![]() ![]() ![]() ![]() ![]() | [adjm-graph] |
Def AdjMatrix == size:![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [adjmatrix] |
In prior sections: int 1 bool 1 int 2 list 1 mb basic mb nat mb list 1 num thy 1 mb list 2 graph 1 1 graph 1 2 prog 1
Try larger context:
Graphs