diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-27 20:20:46 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-27 20:20:46 +0200 |
| commit | b8cc467735054bb3c38bf37b5e29877ba756c4b5 (patch) | |
| tree | 1a95658984285f77200423af5767ebf35935598e /library/everything.tex | |
| parent | 6acc5654f1702f2466006564a415546a3def16e3 (diff) | |
working commit
Diffstat (limited to 'library/everything.tex')
| -rw-r--r-- | library/everything.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/everything.tex b/library/everything.tex index b966197..94dd6d8 100644 --- a/library/everything.tex +++ b/library/everything.tex @@ -30,6 +30,7 @@ \import{topology/disconnection.tex} \import{topology/separation.tex} \import{numbers.tex} +\import{topology/urysohn2.tex} \begin{proposition}\label{trivial} $x = x$. |