mo 1

Co-authored-by: yhx-12243 <yhx12243@gmail.com>
pi-base · Jan 18, 2025 · 1931868 · 1931868
1 parent d17504c
commit 1931868
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theorems/T000692.md b/theorems/T000692.md
@@ -7,7 +7,7 @@ if:
 then:
   P000018: true
 refs:
-- mathse: 433812
+- mo: 433812
   name: A stronger version of paracompactness
 ---