diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-03-31 18:57:17 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-03-31 18:57:17 +0200 |
| commit | 9abb88060e5bb6405e603dcbe499794e3e181040 (patch) | |
| tree | 72f5d7a039397429056a687573bf905854ea6c07 /library/everything.tex | |
| parent | ffcd13eb8c12f820ec7a49afdcb4b55479443e0d (diff) | |
Possible_Bug
In File test.tex line 51 could not be proven, error massage is in the new file error.txt
Diffstat (limited to 'library/everything.tex')
| -rw-r--r-- | library/everything.tex | 1 |
1 files changed, 1 insertions, 0 deletions
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$. |