Theorem SimpleGraph.ConnectedComponent.connectedComponentMk_eq_of_adj

Modification history