doc(1000.yml): mention the Riemann mapping theorem (leanprover-community#32689)

grunweg · grunweg · commit cdcab729c2f0 · 2025-12-11T11:46:50.000Z
diff --git a/docs/1000.yaml b/docs/1000.yaml
@@ -1062,6 +1062,9 @@ Q925854:
 
 Q927051:
   title: Riemann mapping theorem
+  authors: Vincent Beffara
+  url: https://github.com/vbeffara/RMT4
+  date: 2024
 
 Q928813:
   title: Menger's theorem
