Update 1000.yaml

mitchell-horner · mitchell-horner · commit 59fd8ead4879 · 2026-01-05T17:34:34.000+11:00
diff --git a/docs/1000.yaml b/docs/1000.yaml
@@ -3930,6 +3930,9 @@ Q8064722:
 
 Q8066611:
   title: Kövari–Sós–Turán theorem
+  decl: SimpleGraph.zarankiewicz_le
+  authors: Mitchell Horner
+  date: 2026
 
 Q8066795:
   title: Zariski's main theorem
