From cbac8ca4a5bf8ff38af3e512956ea1e468965194 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sun, 21 Jul 2024 12:26:20 +0200
Subject: Further Formalisation on numbers

---
 library/everything.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/everything.tex')

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