theorem Th143: :: GLIB_010:143

for G1 being _Graph
for G2 being b₁ -isomorphic _Graph
for E1, E2 being set
for G3 being reverseEdgeDirections of G1,E1
for G4 being reverseEdgeDirections of G2,E2 holds G4 is G3 -isomorphic