summaryrefslogtreecommitdiff
path: root/library/cardinal.tex
diff options
context:
space:
mode:
Diffstat (limited to 'library/cardinal.tex')
-rw-r--r--library/cardinal.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/library/cardinal.tex b/library/cardinal.tex
index 8691b30..044e5d1 100644
--- a/library/cardinal.tex
+++ b/library/cardinal.tex
@@ -18,3 +18,5 @@
$X$ has cardinality $k$ iff $k$ is a natural number and
there exists a bijection from $k$ to $X$.
\end{definition}
+
+