add cech result

StevenClontz · web-flow · commit 660434173ca7 · 2026-03-13T14:12:26.000-05:00
diff --git a/theorems/T000865.md b/theorems/T000865.md
@@ -0,0 +1,9 @@
+---
+uid: T000865
+if:
+  P000063: true
+then:
+  P000235: true
+---
+
+Immediate from Lynne Yengulalp.
