switch hypothesis

felixpernegger · web-flow · commit fdb3d76c87f0 · 2026-04-06T02:58:04.000+02:00
diff --git a/theorems/T000391.md b/theorems/T000391.md
@@ -2,8 +2,8 @@
 uid: T000391
 if:
   and:
-    - P000058: false
     - P000163: true
+    - P000058: false
 then:
   P000065: true
 ---
