Theorem SimpleGraph.ConnectedComponent.adj_spanningCoe_induce_supp

Modification history