feat Port/Combinatorics.SimpleGraph.Coloring (#2526)

Co-authored-by: Kyle Miller <kmill31415@gmail.com>
leanprover-community · Feb 28, 2023 · 03cb3af · 03cb3af
1 parent 127bbb2
commit 03cb3af
Show file tree

Hide file tree

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