Theorem SimpleGraph.Subgraph.deleteEdges_adj

Modification history