Port/combinatorics.simple_graph.connectivity (#2514)

leanprover-community · Mar 1, 2023 · 67ba317 · 67ba317
1 parent ffb5ddd
commit 67ba317
Show file tree

Hide file tree

Showing 2 changed files with 2,431 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -331,6 +331,7 @@ import Mathlib.Combinatorics.SetFamily.Shadow
 import Mathlib.Combinatorics.SimpleGraph.Basic
 import Mathlib.Combinatorics.SimpleGraph.Clique
 import Mathlib.Combinatorics.SimpleGraph.Coloring
+import Mathlib.Combinatorics.SimpleGraph.Connectivity
 import Mathlib.Combinatorics.SimpleGraph.Density
 import Mathlib.Combinatorics.SimpleGraph.Partition
 import Mathlib.Combinatorics.SimpleGraph.Regularity.Equitabilise