From ee397f15aab1cace7376ad76183f87b473dd0079 Mon Sep 17 00:00:00 2001
From: Patrick Rabau <70125716+prabau@users.noreply.github.com>
Date: Sat, 30 May 2026 16:13:41 -0400
Subject: [PATCH] T906: Urysohn's metrization theorem

---
 theorems/T000906.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 theorems/T000906.md

diff --git a/theorems/T000906.md b/theorems/T000906.md
new file mode 100644
index 000000000..ce1434c9a
--- /dev/null
+++ b/theorems/T000906.md
@@ -0,0 +1,14 @@
+---
+uid: T000906
+if:
+  and:
+  - P000027: true
+  - P000005 : true
+then:
+  P000053: true
+refs:
+- zb: "1052.54001"
+  name: General Topology (Willard)
+---
+
+This is *Urysohn's metrization theorem* (Theorem 23.1 in {{zb:1052.54001}}).