From 85a83fc4050bb6d7853397991d417157a42f1d2c Mon Sep 17 00:00:00 2001
From: Alman <149833592+Almanzoris@users.noreply.github.com>
Date: Mon, 14 Oct 2024 16:10:37 +0200
Subject: [PATCH] Update.

---
 spaces/S000199/properties/P000026.md | 4 ++--
 spaces/S000199/properties/P000036.md | 9 ---------
 spaces/S000199/properties/P000051.md | 7 +++++++
 3 files changed, 9 insertions(+), 11 deletions(-)
 delete mode 100644 spaces/S000199/properties/P000036.md
 create mode 100644 spaces/S000199/properties/P000051.md

diff --git a/spaces/S000199/properties/P000026.md b/spaces/S000199/properties/P000026.md
index 0b5d38fb1..543fd70bf 100644
--- a/spaces/S000199/properties/P000026.md
+++ b/spaces/S000199/properties/P000026.md
@@ -4,6 +4,6 @@ property: P000026
 value: false
 ---
 
-Let $n \in (\mathbb{Z} \setminus 2\mathbb{Z})$, $k \in \mathbb{Z}$ such that $k \geq 2$ and $C_{n,k}$.
+Let $n \in (\mathbb{Z} \setminus 2\mathbb{Z})$, $k \in \mathbb{Z}$ such that $k \geq 2$.
 
-If $x \in C_{n,k} \setminus \{p_{n,k}\}$, then $\{x\}$ is open.
+Each point of $C_{n,k} \setminus \{p_{n,k}\}$ is isolated in $X$.
diff --git a/spaces/S000199/properties/P000036.md b/spaces/S000199/properties/P000036.md
deleted file mode 100644
index 5bc02bf01..000000000
--- a/spaces/S000199/properties/P000036.md
+++ /dev/null
@@ -1,9 +0,0 @@
----
-space: S000199
-property: P000036
-value: false
----
-
-Let $n \in (\mathbb{Z} \setminus 2\mathbb{Z})$, $k \in \mathbb{Z}$ such that $k \geq 2$ and $C_{n,k}$.
-
-If $x \in C_{n,k} \setminus \{p_{n,k}\}$, then $\{x\}$ is clopen.
diff --git a/spaces/S000199/properties/P000051.md b/spaces/S000199/properties/P000051.md
new file mode 100644
index 000000000..f7e6972c2
--- /dev/null
+++ b/spaces/S000199/properties/P000051.md
@@ -0,0 +1,7 @@
+---
+space: S000199
+property: P000051
+value: true
+---
+
+Let $m \in 2\mathbb{Z}, n \in (\mathbb{Z} \setminus 2\mathbb{Z})$, $k \in \mathbb{Z}$ such that $k \geq 2$. Each point of $C_{n,k} \setminus \{p_{n,k}\}$ is isolated in $X$, and $L_m$ is a discrete subspace of $X$.