diff options
Diffstat (limited to 'library/set/cantor.tex')
| -rw-r--r-- | library/set/cantor.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/library/set/cantor.tex b/library/set/cantor.tex index 5455e70..093adee 100644 --- a/library/set/cantor.tex +++ b/library/set/cantor.tex @@ -16,7 +16,5 @@ Take $a'$ such that $a'\in A$ and $f(a') = B$ by \cref{surj}. We have if $a'\in B$, then $a'\notin B$ by assumption. We have if $a'\notin B$, then $a'\in B$ by assumption. - We have $a'\in B$ by assumption. - We have $a'\notin B$ by assumption. Contradiction by assumption. \end{proof} |