rename

felixpernegger · felixpernegger · commit b3e53dc03dca · 2026-03-10T19:05:01.000+01:00
diff --git a/spaces/S000222/README.md b/spaces/S000222/README.md
@@ -1,5 +1,5 @@
 ---
-uid: S001103
+uid: S000222
 name: Product topology on $\omega^{2^\mathfrak{c}}$
 aliases:
   - Uncountable product of $\mathbb Z^+$
diff --git a/spaces/S000222/properties/P000013.md b/spaces/S000222/properties/P000013.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000013
 value: false
 refs:
diff --git a/spaces/S000222/properties/P000029.md b/spaces/S000222/properties/P000029.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000029
 value: true
 refs:
diff --git a/spaces/S000222/properties/P000050.md b/spaces/S000222/properties/P000050.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000050
 value: true
 ---
diff --git a/spaces/S000222/properties/P000059.md b/spaces/S000222/properties/P000059.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000059
 value: false
 ---
diff --git a/spaces/S000222/properties/P000081.md b/spaces/S000222/properties/P000081.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000081
 value: false
 refs:
diff --git a/spaces/S000222/properties/P000087.md b/spaces/S000222/properties/P000087.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000087
 value: true
 ---
diff --git a/spaces/S000222/properties/P000103.md b/spaces/S000222/properties/P000103.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000103
 value: false
 refs:
diff --git a/spaces/S000222/properties/P000140.md b/spaces/S000222/properties/P000140.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000140
 value: false
 refs:
diff --git a/spaces/S000222/properties/P000162.md b/spaces/S000222/properties/P000162.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000162
 value: true
 ---
diff --git a/spaces/S000222/properties/P000164.md b/spaces/S000222/properties/P000164.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000164
 value: true
 ---
diff --git a/spaces/S000222/properties/P000172.md b/spaces/S000222/properties/P000172.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000172
 value: false
 ---
diff --git a/spaces/S000222/properties/P000191.md b/spaces/S000222/properties/P000191.md
@@ -1,9 +1,9 @@
 ---
-space: S001103
+space: S000222
 property: P000191
 value: false
 ---
 
 {S101}
-can be embedded as a subspace of {S1103}
+can be embedded as a subspace of {S222}
 and {S101|P191}.
diff --git a/spaces/S000222/properties/P000197.md b/spaces/S000222/properties/P000197.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000197
 value: false
 ---
diff --git a/spaces/S000222/properties/P000206.md b/spaces/S000222/properties/P000206.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000206
 value: true
 ---
diff --git a/spaces/S000222/properties/P000209.md b/spaces/S000222/properties/P000209.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000209
 value: true
 refs:
diff --git a/spaces/S000222/properties/P000214.md b/spaces/S000222/properties/P000214.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000214
 value: false
 refs:
diff --git a/spaces/S000222/properties/P000227.md b/spaces/S000222/properties/P000227.md
@@ -1,5 +1,5 @@
 ---
-space: S001103
+space: S000222
 property: P000227
 value: true
 ---
