From b298295ac002785672a8b16dd09f9692d73f7a80 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sun, 15 Sep 2024 15:07:36 +0200
Subject: Issue at Fixing.

In Line 49 in real-topological-space.tex the Fix can't be processed.
---
 library/topology/metric-space.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/topology/metric-space.tex')

diff --git a/library/topology/metric-space.tex b/library/topology/metric-space.tex
index bcc5b8c..0ed7bab 100644
--- a/library/topology/metric-space.tex
+++ b/library/topology/metric-space.tex
@@ -7,7 +7,7 @@
 \section{Metric Spaces}
 
 \begin{definition}\label{metric}
-    $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reals$ and
+    $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reaaals$ and
     for all $x,y,z \in M$ we have 
         $f(x,x) = \zero$ and 
         $f(x,y) = f(y,x)$ and
-- 
cgit v1.2.3