chore(Combinatorics/SimpleGraph): add module deprecations for leanprover-community#36819 leanprover-community#36854 leanprover-community#37525

Author: SnirBroshi

Mathlib.lean

@@ -3483,21 +3483,26 @@ public import Mathlib.Combinatorics.SimpleGraph.Basic
 public import Mathlib.Combinatorics.SimpleGraph.Bipartite
 public import Mathlib.Combinatorics.SimpleGraph.Circulant
 public import Mathlib.Combinatorics.SimpleGraph.Clique
+public import Mathlib.Combinatorics.SimpleGraph.Coloring
 public import Mathlib.Combinatorics.SimpleGraph.Coloring.ConcreteColorings
 public import Mathlib.Combinatorics.SimpleGraph.Coloring.EdgeLabeling
 public import Mathlib.Combinatorics.SimpleGraph.Coloring.VertexColoring
 public import Mathlib.Combinatorics.SimpleGraph.CompleteMultipartite
+public import Mathlib.Combinatorics.SimpleGraph.ConcreteColorings
 public import Mathlib.Combinatorics.SimpleGraph.Connectivity.Connected
 public import Mathlib.Combinatorics.SimpleGraph.Connectivity.EdgeConnectivity
 public import Mathlib.Combinatorics.SimpleGraph.Connectivity.Finite
 public import Mathlib.Combinatorics.SimpleGraph.Connectivity.Represents
 public import Mathlib.Combinatorics.SimpleGraph.Connectivity.Subgraph
+public import Mathlib.Combinatorics.SimpleGraph.Connectivity.WalkCounting
+public import Mathlib.Combinatorics.SimpleGraph.Connectivity.WalkDecomp
 public import Mathlib.Combinatorics.SimpleGraph.Copy
 public import Mathlib.Combinatorics.SimpleGraph.Dart
 public import Mathlib.Combinatorics.SimpleGraph.DegreeSum
 public import Mathlib.Combinatorics.SimpleGraph.DeleteEdges
 public import Mathlib.Combinatorics.SimpleGraph.Density
 public import Mathlib.Combinatorics.SimpleGraph.Diam
+public import Mathlib.Combinatorics.SimpleGraph.EdgeLabeling
 public import Mathlib.Combinatorics.SimpleGraph.Ends.Defs
 public import Mathlib.Combinatorics.SimpleGraph.Ends.Properties
 public import Mathlib.Combinatorics.SimpleGraph.Extremal.Basic
@@ -3548,6 +3553,13 @@ public import Mathlib.Combinatorics.SimpleGraph.Walk.Maps
 public import Mathlib.Combinatorics.SimpleGraph.Walk.Operations
 public import Mathlib.Combinatorics.SimpleGraph.Walk.Subwalks
 public import Mathlib.Combinatorics.SimpleGraph.Walk.Traversal
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Basic
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Counting
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Decomp
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Maps
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Operations
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Subwalks
+public import Mathlib.Combinatorics.SimpleGraph.Walks.Traversal
 public import Mathlib.Combinatorics.Tiling.Tile
 public import Mathlib.Combinatorics.Young.SemistandardTableau
 public import Mathlib.Combinatorics.Young.YoungDiagram

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Coloring.VertexColoring
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/ConcreteColorings.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Coloring.ConcreteColorings
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Walk.Counting
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkDecomp.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Walk.Decomp
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/EdgeLabeling.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Coloring.EdgeLabeling
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/Walks/Basic.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Walk.Basic
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/Walks/Counting.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Walk.Counting
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/Walks/Decomp.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Walk.Decomp
+
+deprecated_module (since := "2026-04-02")

Mathlib/Combinatorics/SimpleGraph/Walks/Maps.lean

@@ -0,0 +1,5 @@
+module -- shake: keep-all
+
+public import Mathlib.Combinatorics.SimpleGraph.Walk.Maps
+
+deprecated_module (since := "2026-04-02")