Theorem SimpleGraph.deleteEdges_empty_eq

Modification history