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: