From cfd5061ced34f061e84ecca2a266f8f4cd01ce36 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Tue, 30 Apr 2024 12:26:13 +0200
Subject: Adding the first formalisation of reals

---
 library/topology/order-topology.tex | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 library/topology/order-topology.tex

(limited to 'library/topology/order-topology.tex')

diff --git a/library/topology/order-topology.tex b/library/topology/order-topology.tex
new file mode 100644
index 0000000..afa8755
--- /dev/null
+++ b/library/topology/order-topology.tex
@@ -0,0 +1,7 @@
+\import{topology/topological-space.tex}
+
+\section{Order Topology}
+
+\begin{definition}
+    A 
+\end{definition}
-- 
cgit v1.2.3