remove nonempty

StevenClontz · web-flow · commit 299df76463f0 · 2026-03-13T14:49:13.000-05:00
diff --git a/theorems/T000680.md b/theorems/T000680.md
@@ -4,8 +4,6 @@ if:
   and:
   - P000023: true
   - P000134: true
-  - P000137: false
-  
 then:
   P000206: true
 ---
