From 604d7a87b4c45ab13ef03e3c7a611ad4f9342f23 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Tue, 27 Aug 2024 02:13:29 +0200
Subject: ambigus parse fix. The proof goal must be changed, since now some
 could define a function with overlapping and worng subdomains

---
 library/topology/urysohn2.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'library/topology')

diff --git a/library/topology/urysohn2.tex b/library/topology/urysohn2.tex
index 05ea180..f2f6ef3 100644
--- a/library/topology/urysohn2.tex
+++ b/library/topology/urysohn2.tex
@@ -46,7 +46,9 @@
 
     Define $f : X \to \reals$ such that  $f(x) = $
     \begin{cases}
-        &(x + x) , x \in X
+        &(x + x) &\text{if} x \in X
+        & x &\text{if} x \neq \zero
+        & \zero & \text{if} x = \zero
         % & x ,x \in X    <- will result in technicly ambigus parse
     \end{cases}
 
-- 
cgit v1.2.3