From 72518e9e34557e0b47b70e6f77f142e0efed3703 Mon Sep 17 00:00:00 2001 From: Alman <149833592+Almanzoris@users.noreply.github.com> Date: Thu, 17 Oct 2024 21:22:06 +0200 Subject: [PATCH] Fix. --- theorems/T000562.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theorems/T000562.md b/theorems/T000562.md index 5c91efd48..9fc885484 100644 --- a/theorems/T000562.md +++ b/theorems/T000562.md @@ -1,5 +1,5 @@ --- -uid: T000561 +uid: T000562 if: P000198: true then: