From 0c82b10cd3ac1787838038b4b443f79cbb1612d9 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Wed, 26 Jun 2024 13:56:47 +0200
Subject: Working at the numbers.tex

---
 library/everything.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'library/everything.tex')

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}
-- 
cgit v1.2.3