diff options
Diffstat (limited to 'library/function.tex')
| -rw-r--r-- | library/function.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/function.tex b/library/function.tex index 47d399f..7616593 100644 --- a/library/function.tex +++ b/library/function.tex @@ -465,7 +465,7 @@ Then $f(x) = \emptyset$. \end{proposition} \begin{proof} - $\img{f}{\{x\}} = \emptyset$ by \cref{setext,notin_emptyset,img_singleton_iff,dom_intro}. + $\img{f}{\{x\}} = \emptyset$ by \cref{setext,emptyset,img_singleton_iff,dom_intro}. Follows by \cref{apply,unions_emptyset}. \end{proof} |