Theorem SimpleGraph.deleteEdges_anti

Modification history