diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-04 02:04:45 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-04 02:04:45 +0200 |
| commit | 810947fd09d2cd9f57a5384b3ee1455fe1e44f3a (patch) | |
| tree | e11764f86c4c450cff2b371e10cb11b9844b371b | |
| parent | f8511cd728c85e343fa9385fe7140e8ea9f69542 (diff) | |
Update filename
| -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$. |