Delete carriage return characters (#1017)

pi-base · Dec 5, 2024 · 59821c0 · 59821c0
1 parent ac86949
commit 59821c0
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 28 deletions.
diff --git 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
@@ -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
@@ -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.