tighten theorem

StevenClontz · web-flow · commit 21dd6752bcf4 · 2026-03-13T13:42:26.000-05:00
diff --git a/theorems/T000864.md b/theorems/T000864.md
@@ -3,7 +3,7 @@ uid: T000864
 if:
   P000234: true
 then:
-  P000064: true
+  P000206: true
 ---
 
 Immediate from Lynne Yengulalp.
