date

vasnesterov · vasnesterov · commit 536dd1e6d1ad · 2025-05-01T15:02:30.000+03:00
diff --git a/docs/1000.yaml b/docs/1000.yaml
@@ -936,6 +936,7 @@ Q869647:
   title: Szpilrajn extension theorem
   decl: extend_partialOrder
   authors: Bhavik Mehta
+  date: 2021
 
 Q872088:
   title: Boolean prime ideal theorem
