Update PR1090 with main

spaces/S000138/properties/P000147.md

@@ -0,0 +1,10 @@
+---
+space: S000138
+property: P000147
+value: true
+refs:
+- doi: 10.4064/fm-73-2-179-186
+  name: A normal space X for which X×I is not normal (M.E. Rudin)
+---
+
+See lemma 4 in {{doi:10.4064/fm-73-2-179-186}}.

spaces/S000138/properties/P000162.md

@@ -0,0 +1,10 @@
+---
+space: S000138
+property: P000162
+value: false
+refs:
+- doi: 10.4064/fm-73-2-179-186
+  name: A normal space X for which X×I is not normal (M.E. Rudin)
+---
+
+See IV.4 of {{doi:10.4064/fm-73-2-179-186}}.

spaces/S000195/README.md

@@ -8,6 +8,4 @@ refs:
     name: Answer to "Is there a first countable, $T_1$, weakly Lindelof, sequentially compact space which is not also compact?"
 ---
 
-The set $\omega_1$ whose topology is generated by sets of 
-the form $\alpha\setminus F=[0,\alpha)\setminus F$ for 
-$\alpha<\omega_1$ and $F\subseteq\omega_1$ finite.
+The set $\omega_1$ with topology equal to the join of the cofinite topology and left ray topology in the [lattice of topologies](https://en.wikipedia.org/wiki/Lattice_of_topologies) on $\omega_1$. This topology is generated by the sets of the form $\alpha\setminus F=[0,\alpha)\setminus F$ for $\alpha<\omega_1$ and $F\subseteq\omega_1$ finite.