Theorem SimpleGraph.Connected.connected_delete_edge_of_not_isBridge

Modification history