PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjl-graph wf
A:AdjList. adjl-graph(A) Graph
By:
Unfold `adjl-graph` 0
THEN
Analyze -1
THEN
Reduce 0
Generated subgoals:

None

About:
memberall

PrintForm Definitions graph 1 3 Sections Graphs Doc