fix

StevenClontz · web-flow · commit 8861323485c4 · 2026-03-13T13:46:41.000-05:00
diff --git a/theorems/T000862.md b/theorems/T000862.md
@@ -3,7 +3,7 @@ uid: T000862
 if:
   and:
   - P000130: true
-  - P000137: false
+  - P000134: true
 then:
   P000234: true
 ---
diff --git a/theorems/T000863.md b/theorems/T000863.md
@@ -1,9 +1,7 @@
 ---
 uid: T000863
 if:
-  and:
-  - P000055: true
-  - P000137: false
+  P000055: true
 then:
   P000234: true
 ---
