Delta is countable

Author: ScriptRaccoon

database/data/004_property-assignments/Delta.sql

@@ -11,6 +11,12 @@ VALUES
     TRUE,
     'If $[n] \to [m]$ is a bijection, then $n+1 = m+1$ by comparing the sizes, hence $n=m$.'
 ),
+(
+    'Delta',
+    'countable',
+    TRUE,
+    'This is obvious.'
+),
 (
     'Delta',
     'small',