theorem :: GLIB_000:135

for G being _Graph
for X, Y being set holds G .edgesBetween (X,Y) = G .edgesBetween (Y,X)