Nuprl - Proof: dfsl member 1

At: dfsl member 1

1. the_graph: Graph
2. the_obj: GraphObject(the_graph)
3. L: Vertices(the_graph) List

(inil.(inr(i) nil) & (inl(i) nil))

By: Obvious

Generated subgoals:

None

About: