From c9ad59204db809cf2220d1f31fca2f16b3247479 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sun, 15 Dec 2024 18:41:29 -0600
Subject: [PATCH 1/2] add almost 2 fully normal characterization to strongly
 collectionwise normal

---
 properties/P000207.md                | 11 ++++++++++-
 spaces/S000138/properties/P000207.md |  5 ++---
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/properties/P000207.md b/properties/P000207.md
index ab46ec22c9..78326f1784 100644
--- a/properties/P000207.md
+++ b/properties/P000207.md
@@ -3,18 +3,27 @@ uid: P000207
 name: Strongly collectionwise normal
 aliases:
 - Divisible
+- Almost $2$-fully normal
 refs:
   - zb: "0046.16403"
     name: Sur une problème de M. Dieudonné (Cohen)
   - doi: 10.1090/S0002-9939-1981-0630058-4
     name: Strong collectionwise normality and M. E. Rudin’s Dowker space (Hart)
+  - doi: 10.2307/1993026
+    name: Some Generalizations of Full Normality (M. J. Mansfield)
 ---
 
 For each neighborhood $U$ of the diagonal $\Delta=\{(x,x)\mid x\in X\}$
 in $X\times X$, there is a neighborhood $V$ of the diagonal such that
 $V\circ V\subseteq U$.
 
-Studied by Cohen in {{zb:0046.16403}}
+In Theorem 2.6 of {{doi:10.2307/1993026}} this property was shown to be equivalent to
+"almost $2$-fully normal": each open cover $\mathcal U$ has an open almost $2$-star
+refinement $\mathcal V$, where an almost $2$-star refinement satsifies for each
+point $x\in X$ and pair of points $y,z\in S(x,\mathcal B)$, there exists $A\in\mathcal A$
+with $y,z\in A$.
+
+Originally studied by Cohen in {{zb:0046.16403}}
 (<http://gallica.bnf.fr/ark:/12148/bpt6k3186w/f290.image>),
 where it was shown to be
 strictly stronger than {P88}.
diff --git a/spaces/S000138/properties/P000207.md b/spaces/S000138/properties/P000207.md
index 010d5632db..3e11dbc4e9 100644
--- a/spaces/S000138/properties/P000207.md
+++ b/spaces/S000138/properties/P000207.md
@@ -5,8 +5,7 @@ value: true
 refs:
 - doi: 10.1090/S0002-9939-1982-0671226-6
   name: More on M. E. Rudin’s Dowker space (K. P. Hart)
-- doi: 10.2307/1993026
-  name: Some Generalizations of Full Normality (M. J. Mansfield)
 ---
 
-By theorem 2.2 of {{doi:10.1090/S0002-9939-1982-0671226-6}}, {S138} is $2$-fully normal, and so almost $2$-fully normal. By theorem 2.6 of {{doi:10.2307/1993026}}, it's strongly collectionwise normal.
+By theorem 2.2 of {{doi:10.1090/S0002-9939-1982-0671226-6}},
+{S138} is $2$-fully normal, and so {{P000207}}.

From 48af7b4b49b897fd994391a79575145b19a443f6 Mon Sep 17 00:00:00 2001
From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com>
Date: Mon, 16 Dec 2024 02:44:58 +0100
Subject: [PATCH 2/2] Update P000207.md

---
 properties/P000207.md | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/properties/P000207.md b/properties/P000207.md
index 78326f1784..eb604f09c3 100644
--- a/properties/P000207.md
+++ b/properties/P000207.md
@@ -18,10 +18,8 @@ in $X\times X$, there is a neighborhood $V$ of the diagonal such that
 $V\circ V\subseteq U$.
 
 In Theorem 2.6 of {{doi:10.2307/1993026}} this property was shown to be equivalent to
-"almost $2$-fully normal": each open cover $\mathcal U$ has an open almost $2$-star
-refinement $\mathcal V$, where an almost $2$-star refinement satsifies for each
-point $x\in X$ and pair of points $y,z\in S(x,\mathcal B)$, there exists $A\in\mathcal A$
-with $y,z\in A$.
+almost $2$-fully normal: each open cover $\mathcal U$ has an open almost $2$-star
+refinement $\mathcal V$, that is $\mathcal{V}$ is a refinement of $\mathcal{U}$ and for any $x, y, z$ with $y, z\in \text{St}(x, \mathcal{V})$ there exists $U\in\mathcal{U}$ with $y, z\in U$.
 
 Originally studied by Cohen in {{zb:0046.16403}}
 (<http://gallica.bnf.fr/ark:/12148/bpt6k3186w/f290.image>),