From 59821c03286abba3e7086b4f47a5773f95dc3ac1 Mon Sep 17 00:00:00 2001
From: Geoffrey Sangston <geoffreysangston@gmail.com>
Date: Thu, 5 Dec 2024 14:07:25 -0500
Subject: [PATCH] Delete carriage return characters (#1017)

---
 theorems/T000650.md | 18 +++++++++---------
 theorems/T000652.md | 20 ++++++++++----------
 theorems/T000657.md | 18 +++++++++---------
 3 files changed, 28 insertions(+), 28 deletions(-)

diff --git a/theorems/T000650.md b/theorems/T000650.md
index 62a46fc8d..5b71d50b7 100644
--- a/theorems/T000650.md
+++ b/theorems/T000650.md
@@ -1,9 +1,9 @@
----
-uid: T000650
-if:
-  P000208: true
-then:
-  P000016: true
----
-
-By definition.
+---
+uid: T000650
+if:
+  P000208: true
+then:
+  P000016: true
+---
+
+By definition.
diff --git a/theorems/T000652.md b/theorems/T000652.md
index e89f0151e..bd7ddc1de 100644
--- a/theorems/T000652.md
+++ b/theorems/T000652.md
@@ -1,10 +1,10 @@
----
-uid: T000652
-if:
-  P000208: true
-then:
-  P000130: true
----
-
-For each $x \in X$, the set of open neighborhoods of $x$ is a local basis of compact neighborhoods, since every open set is compact.
-
+---
+uid: T000652
+if:
+  P000208: true
+then:
+  P000130: true
+---
+
+For each $x \in X$, the set of open neighborhoods of $x$ is a local basis of compact neighborhoods, since every open set is compact.
+
diff --git a/theorems/T000657.md b/theorems/T000657.md
index d33b381fd..47dcdeed5 100644
--- a/theorems/T000657.md
+++ b/theorems/T000657.md
@@ -1,9 +1,9 @@
----
-uid: T000657
-if:
-  P000208: true
-then:
-  P000131: true
----
-
-By definition, because a compact space is Lindelöf.
+---
+uid: T000657
+if:
+  P000208: true
+then:
+  P000131: true
+---
+
+By definition, because a compact space is Lindelöf.