Theorem SimpleGraph.connected_induce_iff

Modification history