:: deftheorem defines replaceEdges GLIB_015:def 3 :
for G being _Graph
for E being one-to-one ManySortedSet of the_Edges_of G holds replaceEdges E = replaceVerticesEdges ((id (the_Vertices_of G)),E);