Nuprl - Proof: dfsl-traversal-nil 3 1

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

At: dfsl-traversal-nil 3 1

1. the_graph: Graph

paren(Vertices(the_graph);nil)

By: Obvious

Generated subgoals:

None

About:

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