mathlib3

202c8208 - Remove `subgraph_of_adj_connected`