Theorem SimpleGraph.edgeSet_deleteEdges

Modification history