(13steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: dfsl-traversal-nil 2
1. the_graph: Graph
2. i: Vertices(the_graph)
3. (inl(i) nil)
nil-the_graph- > *i
By: ObviousContradiction [-1]
Generated subgoals:

None

About:
nilunioninl

(13steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc