mo 2

Co-authored-by: yhx-12243 <yhx12243@gmail.com>
pi-base · Jan 18, 2025 · d17504c · d17504c
1 parent 35d8f61
commit d17504c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theorems/T000692.md b/theorems/T000692.md
@@ -11,5 +11,5 @@ refs:
   name: A stronger version of paracompactness
 ---
 
-Follows from the fact that every star-finite open cover of a connected space is countable. See {{mathse:433812}}.
+Follows from the fact that every star-finite open cover of a connected space is countable. See {{mo:433812}}.