From 9abb88060e5bb6405e603dcbe499794e3e181040 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sun, 31 Mar 2024 18:57:17 +0200
Subject: Possible_Bug

In File test.tex line 51 could not be proven, error massage is in the new file error.txt
---
 library/everything.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library/everything.tex')

diff --git a/library/everything.tex b/library/everything.tex
index 9b85f83..599bc27 100644
--- a/library/everything.tex
+++ b/library/everything.tex
@@ -26,6 +26,7 @@
 \import{topology/basis.tex}
 \import{topology/disconnection.tex}
 \import{topology/separation.tex}
+\import{test.tex}
 
 \begin{proposition}\label{trivial}
     $x = x$.
-- 
cgit v1.2.3