From aee37d48e70e8f4a98e1a6593cf4a879b041df55 Mon Sep 17 00:00:00 2001
From: Patrick Rabau <70125716+prabau@users.noreply.github.com>
Date: Thu, 17 Oct 2024 00:39:23 -0400
Subject: [PATCH] T552 fix

---
 theorems/T000552.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theorems/T000552.md b/theorems/T000552.md
index ab728be17..532f52226 100644
--- a/theorems/T000552.md
+++ b/theorems/T000552.md
@@ -8,4 +8,4 @@ if:
 then:
   P000129: true
 ---
-Any clopen partition of a {P36} space $X$ must contain $X$, so to admit clopen refinements every open cover must contain $X$. Thus, the union of all open sets except for $X$ cannot equal $X$ (as that would be an open cover not containing $X$), so some points have $X$ as their only neighborhood. By homogeneity, this must then be true of all points, i.e. the space is {P129}.
+Any clopen partition of a {P36} space $X$ must contain $X$, so every open cover admitting a clopen partition as refinement must contain $X$. Thus, the union of all open sets except for $X$ cannot equal $X$ (as that would be an open cover not containing $X$), so some points have $X$ as their only neighborhood. By homogeneity, this must then be true of all points, i.e. the space is {P129}.