diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-27 02:13:29 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-27 02:13:29 +0200 |
| commit | 604d7a87b4c45ab13ef03e3c7a611ad4f9342f23 (patch) | |
| tree | f5121f17d97dba1df8a815b0b21abfeb01c50513 /library | |
| parent | 30f7c63ce566c993816607f3368c357233693aae (diff) | |
ambigus parse fix. The proof goal must be changed,
since now some could define a function with overlapping
and worng subdomains
Diffstat (limited to 'library')
| -rw-r--r-- | library/topology/urysohn2.tex | 4 |
1 files changed, 3 insertions, 1 deletions
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} |