:: deftheorem defines .walkOf GLIB_001:def 4 :
for G being _Graph
for v being Vertex of G holds G .walkOf v = <*v*>;