mathlib3

feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges

#17654

Open