the_obj:GraphObject(the_graph). depthfirst(the_obj) 
Traversalt:GraphObject(the_graph), T:Type. t.vacc (T
VT)TT| Theorem | Name |
| Thm* For any graph
the_obj:GraphObject(the_graph). depthfirst(the_obj) Traversal | [depthfirst_wf] |
| cites | |
| Thm* For any graph
t:GraphObject(the_graph), T:Type. t.vacc (TVT)TT | [gro_vacc_wf] |