From e0d7a6b81d9a5092b6820450892f375be45d29c6 Mon Sep 17 00:00:00 2001
From: Patrick Rabau <70125716+prabau@users.noreply.github.com>
Date: Tue, 1 Sep 2026 19:07:29 -0400
Subject: [PATCH] T587 is redundant

---
 properties/P000105.md | 5 ++++-
 theorems/T000587.md   | 9 ---------
 theorems/T000654.md   | 2 +-
 theorems/T000655.md   | 2 +-
 4 files changed, 6 insertions(+), 12 deletions(-)
 delete mode 100644 theorems/T000587.md

diff --git a/properties/P000105.md b/properties/P000105.md
index 1a873b5a86..585f29173d 100644
--- a/properties/P000105.md
+++ b/properties/P000105.md
@@ -6,7 +6,10 @@ refs:
   name: Encyclopedia of general topology (Hart et al)
 ---
 
-Every open cover of the space has a locally countable open refinement.
+Every open cover of $X$ has a locally countable open refinement.
+
+(A collection $\mathscr V$ of subsets of $X$ is *locally countable*
+if each $x\in X$ has a neighborhood meeting at most countably many elements of $\mathscr V$.)
 
 Defined on page 200 of {{zb:1059.54001}}.
 
diff --git a/theorems/T000587.md b/theorems/T000587.md
deleted file mode 100644
index 26025a9c80..0000000000
--- a/theorems/T000587.md
+++ /dev/null
@@ -1,9 +0,0 @@
----
-uid: T000587
-if:
-  P000018: true
-then:
-  P000083: true
----
-
-Evident from the definitions, as a countable cover is point-countable.
diff --git a/theorems/T000654.md b/theorems/T000654.md
index dee89ef9b7..3eab1c60a2 100644
--- a/theorems/T000654.md
+++ b/theorems/T000654.md
@@ -6,4 +6,4 @@ then:
   P000105: true
 ---
 
-Immediate from definitions.
+Immediate from the definitions.
diff --git a/theorems/T000655.md b/theorems/T000655.md
index 26ce117b4d..45c40679f4 100644
--- a/theorems/T000655.md
+++ b/theorems/T000655.md
@@ -6,4 +6,4 @@ then:
   P000083: true
 ---
 
-Immediate from definitions.
+Immediate from the definitions.