theorem :: GLIB_000:152

for G being _Graph
for X, Y being set holds G .edgesDBetween (X,Y) = (G .edgesOutOf X) /\ (G .edgesInto Y)