doc(data/countable/small): fix module docs (#15924)

leanprover-community · Aug 8, 2022 · dff563e · dff563e
1 parent 46ba96e
commit dff563e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/data/countable/small.lean b/src/data/countable/small.lean
@@ -7,9 +7,9 @@ import data.countable.basic
 import logic.small
 
 /-!
-# All encodable types are small.
+# All countable types are small.
 
-That is, any encodable type is equivalent to a type in any universe.
+That is, any countable type is equivalent to a type in any universe.
 -/
 
 universes w v