diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-21 12:26:20 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-21 12:26:20 +0200 |
| commit | cbac8ca4a5bf8ff38af3e512956ea1e468965194 (patch) | |
| tree | 27f3b88aca1fbf8d1d2cf2ebfd44a0957758b5ab /library/everything.tex | |
| parent | 36e03142465e482f2b5506cd35dab5ef9cc9fd66 (diff) | |
Further Formalisation on numbers
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 29b97b7..b966197 100644 --- a/library/everything.tex +++ b/library/everything.tex @@ -29,7 +29,7 @@ \import{topology/basis.tex} \import{topology/disconnection.tex} \import{topology/separation.tex} -%\import{numbers.tex} +\import{numbers.tex} \begin{proposition}\label{trivial} $x = x$. |