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}}).