From e84d6ec52f0b4c4236bba6aab30671102349f26a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= <yael.dillies@gmail.com>
Date: Fri, 3 Jan 2025 16:20:17 +0000
Subject: [PATCH] remove key entirely

---
 docs/1000.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/1000.yaml b/docs/1000.yaml
index 02de8cdb24e86..64168a6a6f4ae 100644
--- a/docs/1000.yaml
+++ b/docs/1000.yaml
@@ -1066,7 +1066,6 @@ Q1050203:
 Q1050932:
   title: Hartogs's theorem
   url: https://github.com/girving/ray/blob/main/Ray/Hartogs/Hartogs.lean
-  decl: Pair.hartogs
   author: Geoffrey Irving
 
 Q1051404: