Theorem SimpleGraph.deleteEdges_sdiff_eq_of_le

Modification history