1 files changed, 0 insertions, 9 deletions
diff --git a/Common/Countable.lean b/Common/Countable.lean
deleted file mode 100644
index e19db99..0000000
--- a/Common/Countable.lean
+++ /dev/null
@@ -1,9 +0,0 @@
-import Common.Finite
-
-class Countable (α : Type u) where
-  enumerate : α → Nat
-  injective {a b : α} : enumerate a = enumerate b → a = b
-
-instance {α : Type u} [Finite α] : Countable α where
-  enumerate := Fin.val ∘ Finite.enumerate
-  injective :=  Finite.injective ∘ Fin.val_inj.mp