theorem Th148: :: GLIB_000:148

for G being _trivial _Graph
for v being Vertex of G holds
( v .edgesIn() = the_Edges_of G & v .edgesOut() = the_Edges_of G & v .edgesInOut() = the_Edges_of G )