[ZeroesOnesAndTwos] remove unneeded GCD import

dwrensha · Sep 10, 2023 · 02cb30c · 02cb30c
1 parent 88194d1
commit 02cb30c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/MathPuzzles/ZeroesOnesAndTwos.lean b/MathPuzzles/ZeroesOnesAndTwos.lean
@@ -8,7 +8,6 @@ import Mathlib.Data.Nat.Basic
 import Mathlib.Data.Nat.ModEq
 import Mathlib.Data.Nat.Parity
 import Mathlib.Data.Nat.Digits
-import Mathlib.Data.Nat.GCD.Basic
 
 /-!
 (From Mathematical Puzzles: A Connoisseur's Collection by Peter Winkler.)