chore: fix Mathlib.lean import ordering for CellularSurface

Author: RaggedR

Mathlib.lean

@@ -3491,9 +3491,9 @@ public import Mathlib.Combinatorics.Additive.RuzsaCovering
 public import Mathlib.Combinatorics.Additive.SmallTripling
 public import Mathlib.Combinatorics.Additive.SubsetSum
 public import Mathlib.Combinatorics.Additive.VerySmallDoubling
+public import Mathlib.Combinatorics.CellularSurface
 public import Mathlib.Combinatorics.Colex
 public import Mathlib.Combinatorics.Compactness
-public import Mathlib.Combinatorics.CellularSurface
 public import Mathlib.Combinatorics.Configuration
 public import Mathlib.Combinatorics.Derangements.Basic
 public import Mathlib.Combinatorics.Derangements.Exponential