Theorem SimpleGraph.deleteEdges_empty

Modification history