T538: Pseudoradial + sequentially discrete => P-space (#766)

pi-base · Sep 27, 2024 · bf09db9 · bf09db9
1 parent d7b6243
commit bf09db9
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/theorems/T000538.md b/theorems/T000538.md
@@ -0,0 +1,14 @@
+---
+uid: T000538
+if:
+ and:
+ - P000173: true
+ - P000167: true
+then:
+ P000147: true
+refs:
+ - mathse: 4975331
+ name: Countable union of closed subsets of a pseudoradial and sequentially closed topological space is closed
+---
+
+See {{mathse:4975331}}.