is mentioned by

Thm* For any graph the_obj:GraphObject(the_graph), L:V List. (iL.(inr(i) dfsl(the_obj;L)) & (inl(i) dfsl(the_obj;L)))

[dfsl_member]

In prior sections: mb list 2 graph 1 2

Try larger context: Graphs