Theorem SimpleGraph.deleteEdges_edgeSet

Modification history