diff options
Diffstat (limited to 'library/everything.tex')
| -rw-r--r-- | library/everything.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/everything.tex b/library/everything.tex index 94dd6d8..c85c205 100644 --- a/library/everything.tex +++ b/library/everything.tex @@ -30,7 +30,7 @@ \import{topology/disconnection.tex} \import{topology/separation.tex} \import{numbers.tex} -\import{topology/urysohn2.tex} +\import{topology/urysohntwo.tex} \begin{proposition}\label{trivial} $x = x$. |