chore(docs): run bibtool on references.bib (#16606)

It seems that this file is frequently extended in the wrong format. This PR just runs the suggested reformatter. At some point we should do this in CI.
leanprover-community · Sep 23, 2022 · 01894cc · 01894cc
1 parent 8deb2a6
commit 01894cc
Showing 1 changed file with 46 additions and 43 deletions.
diff --git a/docs/references.bib b/docs/references.bib
@@ -241,7 +241,8 @@ @Book{            borceux-vol3
 }
 
 @Book{            bosch-guntzer-remmert,
-  title         = {Non-Archimedean Analysis : A Systematic Approach to Rigid Analytic Geometry},
+  title         = {Non-Archimedean Analysis : A Systematic Approach to Rigid
+                  Analytic Geometry},
   author        = {S. Bosch and U. G{\"{u}}ntzer and R. Remmert},
   series        = {Grundlehren der mathematischen Wissenschaften},
   volume        = {261},
@@ -268,7 +269,7 @@ @Book{            bourbaki1966b
   year          = {1966},
   pages         = {iv+363},
   mrclass       = {54-02 (00A05 54-01)},
-  mrnumber      = {979295},
+  mrnumber      = {979295}
 }
 
 @Book{            bourbaki1968,
@@ -342,13 +343,13 @@ @Book{            bourbaki1987
   url           = {https://doi.org/10.1007/978-3-642-61715-7}
 }
 
-@book{             boydVandenberghe2004,
-  author         = {Stephen P. Boyd and Lieven Vandenberghe},
-  title          = {Convex Optimization},
-  publisher      = {Cambridge University Press},
-  year           = {2004},
-  isbn           = {978-0-521-83378-3},
-  url            = {https://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf}
+@Book{            boydVandenberghe2004,
+  author        = {Stephen P. Boyd and Lieven Vandenberghe},
+  title         = {Convex Optimization},
+  publisher     = {Cambridge University Press},
+  year          = {2004},
+  isbn          = {978-0-521-83378-3},
+  url           = {https://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf}
 }
 
 @Book{            cabreragarciarodriguezpalacios2014,
@@ -1621,19 +1622,21 @@ @Article{         orosi2018faulhaber
   zbl           = {1411.41023}
 }
 
-@InCollection{     petridis2014,
-  author         = {Petridis, G.},
-  title          = {The {Pl{\"u}nnecke}-{Ruzsa} inequality: an overview},
-  booktitle      = {Combinatorial and additive number theory. Selected papers based on the presentations at the conferences CANT 2011 and 2012, New York, NY, USA, May 2011 and May 2012},
-  isbn           = {978-1-4939-1600-9; 978-1-4939-1601-6},
-  pages          = {229--241},
-  year           = {2014},
-  publisher      = {New York, NY: Springer},
-  language       = {English},
-  doi            = {10.1007/978-1-4939-1601-6_16},
-  keywords       = {11B30},
-  zblath         = {6463830},
-  zbl            = {1371.11029}
+@InCollection{    petridis2014,
+  author        = {Petridis, G.},
+  title         = {The {Pl{\"u}nnecke}-{Ruzsa} inequality: an overview},
+  booktitle     = {Combinatorial and additive number theory. Selected papers
+                  based on the presentations at the conferences CANT 2011 and
+                  2012, New York, NY, USA, May 2011 and May 2012},
+  isbn          = {978-1-4939-1600-9; 978-1-4939-1601-6},
+  pages         = {229--241},
+  year          = {2014},
+  publisher     = {New York, NY: Springer},
+  language      = {English},
+  doi           = {10.1007/978-1-4939-1601-6_16},
+  keywords      = {11B30},
+  zblath        = {6463830},
+  zbl           = {1371.11029}
 }
 
 @Article{         phillips1940,
@@ -1689,21 +1692,6 @@ @Book{            rudin2006real
   isbn          = {0-07-100276-6}
 }
 
-@Book{            tao-vu,
-  author        = {Tao, Terence and Vu, Van H.},
-  title         = {Additive combinatorics},
-  fseries       = {Cambridge Studies in Advanced Mathematics},
-  series        = {Camb. Stud. Adv. Math.},
-  volume        = {105},
-  isbn          = {0-521-85386-9},
-  year          = {2006},
-  publisher     = {Cambridge: Cambridge University Press},
-  language      = {English},
-  keywords      = {11-02,05-02,05D10,05D40,11B75,11B13,11N13,11P70,11K31,11P82,28D05,37A45},
-  zbmath        = {5066399},
-  zbl           = {1127.11002}
-}
-
 @Book{            samuel1967,
   author        = {Samuel, Pierre},
   title         = {Th\'{e}orie alg\'{e}brique des nombres},
@@ -1851,6 +1839,21 @@ @Article{         Stone1979
   mrreviewer    = {J. Segal}
 }
 
+@Book{            tao-vu,
+  author        = {Tao, Terence and Vu, Van H.},
+  title         = {Additive combinatorics},
+  fseries       = {Cambridge Studies in Advanced Mathematics},
+  series        = {Camb. Stud. Adv. Math.},
+  volume        = {105},
+  isbn          = {0-521-85386-9},
+  year          = {2006},
+  publisher     = {Cambridge: Cambridge University Press},
+  language      = {English},
+  keywords      = {11-02,05-02,05D10,05D40,11B75,11B13,11N13,11P70,11K31,11P82,28D05,37A45},
+  zbmath        = {5066399},
+  zbl           = {1127.11002}
+}
+
 @Book{            tao2010,
   author        = {Tao, Terence},
   title         = {An Epsilon of Room, I: Real Analysis: Pages from Year
@@ -1947,7 +1950,7 @@ @Misc{            wedhorn_adic
   eprint        = {arXiv:1910.05934}
 }
 
-@book{            weidmann_linear,
+@Book{            weidmann_linear,
   author        = {Weidmann, Joachim},
   title         = {Linear operators in {H}ilbert spaces},
   isbn          = {0-387-90427-1},
@@ -1956,13 +1959,13 @@ @book{            weidmann_linear
   note          = {Translated from the German by Joseph Sz\"{u}cs},
   publisher     = {Springer},
   year          = {1980},
-  pages         = {xiii+402},
+  pages         = {xiii+402}
 }
 
-@misc{           welzl_garter,
-  author       = {Emo Welzl and Bernd G\"{a}rtner},
-  title        = {Cone Programming},
-  url          = {https://ti.inf.ethz.ch/ew/lehre/ApproxSDP09/notes/conelp.pdf}
+@Misc{            welzl_garter,
+  author        = {Emo Welzl and Bernd G\"{a}rtner},
+  title         = {Cone Programming},
+  url           = {https://ti.inf.ethz.ch/ew/lehre/ApproxSDP09/notes/conelp.pdf}
 }
 
 @TechReport{      zaanen1966,