Non T1 Toronto spaces

felixpernegger · felixpernegger · commit c2cede91cdc6 · 2025-12-29T16:04:15.000+01:00
diff --git a/theorems/T000819.md b/theorems/T000819.md
@@ -0,0 +1,16 @@
+---
+uid: T000819
+if:
+  and:
+  - P000219: true
+  - P000002: false
+  - P000129: false
+  - P000078: false
+then:
+  P000196: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Follows from Theorem 6.1 in {{zb:1286.54032}}.
