finish

felixpernegger · felixpernegger · commit a7722d33ffbe · 2025-12-27T09:30:10.000+01:00
diff --git a/theorems/T000807.md b/theorems/T000807.md
@@ -0,0 +1,11 @@
+---
+uid: T000807
+if:
+  and:
+  - P000190: true
+  - P000216: true
+then:
+  P000057: true
+---
+
+Assume $X$ is uncountable, it then contains {S35}, but {S35|P30}.
diff --git a/theorems/T000810.md b/theorems/T000810.md
@@ -8,4 +8,4 @@ then:
   P000057: true
 ---
 
-Assume $X$ is uncountable, it then contains {S35} but {S35|P162}.
+Assume $X$ is uncountable, it then contains {S35}, but {S35|P162}.
