(158steps total) PrintForm Definitions Lemmas graph 1 3 Sections Graphs Doc

At: dfsl-properties 1
1. the_graph: Graph
2. the_obj: GraphObject(the_graph)
3. L: Vertices(the_graph) List
dfsl-traversal(the_graph;nil;nil)
By: BackThru Thm* For any graph dfsl-traversal(the_graph;nil;nil)
Generated subgoals:

None

About:
listnilall

(158steps total) PrintForm Definitions Lemmas graph 1 3 Sections Graphs Doc