:: deftheorem defines .edgesOut() GLIB_000:def 39 :
for G being _Graph
for v being Vertex of G holds v .edgesOut() = G .edgesOutOf {v};