fix uid

pi-base · Oct 14, 2024 · 2fd9998 · 2fd9998
1 parent 1e11a92
commit 2fd9998
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theorems/T000554.md b/theorems/T000554.md
@@ -1,5 +1,5 @@
 ---
-uid: T000528
+uid: T000554
 if:
  and:
  - P000196: true