chore(1000): replace identifiers by a valid key name

leanprover-community · Jan 3, 2025 · 74fd56b · 74fd56b
1 parent 0571c82
commit 74fd56b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/1000.yaml b/docs/1000.yaml
@@ -1066,7 +1066,7 @@ Q1050203:
 Q1050932:
   title: Hartogs's theorem
   url: https://github.com/girving/ray/blob/main/Ray/Hartogs/Hartogs.lean
-  identifiers: Pair.hartogs
+  decl: Pair.hartogs
   author: Geoffrey Irving
 
 Q1051404: