improve regular to t3

spaces/S000063/properties/P000008.md

@@ -0,0 +1,11 @@
+---
+space: S000063
+property: P000008
+value: true
+refs:
+- doi: 10.1007/978-1-4612-6290-9_6
+  name: Counterexamples in Topology
+---
+
+See items #1 and #2 for space #71 in
+{{doi:10.1007/978-1-4612-6290-9_6}}.

spaces/S000063/properties/P000015.md

@@ -0,0 +1,11 @@
+---
+space: S000063
+property: P000015
+value: false
+refs:
+- mathse: 4053603
+  name: Answer to Can the closure of a set be written as the intersection of open neighborhoods in a non-metrizable space?
+---
+
+See {{mathse:4053603}} and
+<https://dantopology.wordpress.com/2012/10/28/michael-line-basics/>.

spaces/S000063/properties/P000030.md

@@ -0,0 +1,11 @@
+---
+space: S000063
+property: P000030
+value: true
+refs:
+- mathse: 3702566
+  name: Answer to Showing R with the standard topology union irrational subsets is normal.
+---
+
+See {{mathse:3702566}} and
+<https://dantopology.wordpress.com/2012/10/28/michael-line-basics/>.

spaces/S000077/README.md

@@ -7,7 +7,8 @@ refs:
   - doi: 10.1007/978-1-4612-6290-9 
     name: Counterexamples in Topology
 ---
-Let $P$ be the set of irrationals in $\mathbb{R}$. Michael's Product topology is the product space $X = \mathbb{R} \times P$ where $\mathbb{R}$ has the discrete irrational extension topology (each irrational is isolated) and $P$ has the subspace topology.
+
+The product of {S63} and {S28}.
 
 Defined as counterexample #85 ("Michael's Product Topology")
 in {{doi:10.1007/978-1-4612-6290-9}}.

spaces/S000077/properties/P000011.md → spaces/S000077/properties/P000006.md

@@ -1,11 +1,13 @@
 ---
 space: S000077
-property: P000011
+property: P000006
 value: true
 refs:
 - doi: 10.1007/978-1-4612-6290-9_6
   name: Counterexamples in Topology
 ---
 
+Follows as this space is the product of {P000006} spaces.
+
 Asserted in the General Reference Chart for space #85 in
 {{doi:10.1007/978-1-4612-6290-9_6}}.