Theorem SimpleGraph.deleteEdges_eq_inter_edgeSet

Modification history