From b3f8a9186ec69fac0fdfe0c11ec2178d66b55539 Mon Sep 17 00:00:00 2001
From: Riccardo Brasca <riccardo.brasca@gmail.com>
Date: Wed, 8 Jan 2025 22:07:34 +0100
Subject: [PATCH] fix

---
 lean.bib | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/lean.bib b/lean.bib
index 82ca4233e..ae2879efe 100644
--- a/lean.bib
+++ b/lean.bib
@@ -1,6 +1,15 @@
 
 # To normalize:
 # bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib
+
+@article{ ABKNT_2024,
+  title={Categorial foundations of formalized condensed mathematics},
+  DOI={10.1017/jsl.2024.69},
+  journal={The Journal of Symbolic Logic},
+  author={Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz, Adam},
+  year={2024},
+  pages={1-28}
+}
 @InProceedings{   AGLST23,
   author        = {Avigad, Jeremy and Goldberg, Lior and Levit, David and
                   Seginer, Yoav and Titelman, Alon},
@@ -1838,13 +1847,4 @@ @InProceedings{   Zhang23
   annote        = {Keywords: Lean, formalisation, algebraic geometry, scheme,
                   Proj construction, projective geometry},
   tags          = {formalization, lean3}
-}
-
-@article{ ASGEIRSSON_BRASCA_KUHN_NUCCIO_TOPAZ_2024,
-  title={Categorial foundations of formalized condensed mathematics},
-  DOI={10.1017/jsl.2024.69},
-  journal={The Journal of Symbolic Logic},
-  author={Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz, Adam},
-  year={2024},
-  pages={1-28}
 }
\ No newline at end of file