diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-26 13:56:47 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-26 13:56:47 +0200 |
| commit | 0c82b10cd3ac1787838038b4b443f79cbb1612d9 (patch) | |
| tree | dc99825759a1b93d81b2c6b0fd2750e16d950128 /library/everything.tex | |
| parent | c19415b970d502d662eb10c403728fa41cdbe03e (diff) | |
Working at the numbers.tex
Diffstat (limited to 'library/everything.tex')
| -rw-r--r-- | library/everything.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/library/everything.tex b/library/everything.tex index 783679f..29b97b7 100644 --- a/library/everything.tex +++ b/library/everything.tex @@ -29,12 +29,12 @@ \import{topology/basis.tex} \import{topology/disconnection.tex} \import{topology/separation.tex} -\import{numbers.tex} +%\import{numbers.tex} \begin{proposition}\label{trivial} $x = x$. \end{proposition} -%\begin{proposition}\label{safe} -% Contradiction. -%\end{proposition} +\begin{proposition}\label{safe} + Contradiction. +\end{proposition} |