Theorem SimpleGraph.deleteEdges_univ

Modification history