Theorem SimpleGraph.ConnectedComponent.reachable_induce_supp

Modification history