From 0a3b8f082b2868cbb94d7c0805a85716f6eb62f6 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Thu, 21 Sep 2023 06:15:17 -0600 Subject: [PATCH] Add note. --- Bookshelf/Enderton/Set.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Bookshelf/Enderton/Set.tex b/Bookshelf/Enderton/Set.tex index 89e8447..137c4ca 100644 --- a/Bookshelf/Enderton/Set.tex +++ b/Bookshelf/Enderton/Set.tex @@ -9604,7 +9604,7 @@ \paragraph{($\Leftarrow$)}% Suppose $\ran{f} = A$. - TODO + TODO: by induction? \end{proof}