remove key entirely

leanprover-community · Jan 3, 2025 · e84d6ec · e84d6ec
1 parent 74fd56b
commit e84d6ec
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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: