cleanup imports

leanprover-community · Oct 12, 2019 · a275993 · a275993
1 parent 26e0431
commit a275993
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/set_theory/pgame.lean b/src/set_theory/pgame.lean
@@ -3,9 +3,8 @@ Copyright (c) 2019 Mario Carneiro. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Reid Barton, Mario Carneiro, Isabel Longbottom, Scott Morrison
 -/
-import data.equiv.basic logic.embedding
+import logic.embedding
 import data.nat.cast
-import data.finset data.fintype
 
 /-!
 # Combinatorial (pre-)games.