fix

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}
 }