Theorem SimpleGraph.ConnectedComponent.nonempty_supp

Modification history