commit changes from style linters

leanprover-community · Nov 20, 2024 · 4c23080 · 4c23080
1 parent e4f1d5d
commit 4c23080
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/docs/references.bib b/docs/references.bib
@@ -1094,15 +1094,15 @@ @InProceedings{   demazure1970
   author        = {Michel Demazure},
   editor        = {M. Demazure, A. Grothendieck},
   title         = {Expos\'{e} XXI, Don\'{e}es Radicielles},
-  booktitle     = {S\'{e}minaire de G\'{e}ométrie Alg\'{e}brique du Bois Marie - 1962-64 -
-                  Sch\'{e}mas en groupes - (SGA 3) - vol. 3, Structure des Sch\'{e}mas en Groupes
-                  Reductifs},
+  booktitle     = {S\'{e}minaire de G\'{e}ométrie Alg\'{e}brique du Bois
+                  Marie - 1962-64 - Sch\'{e}mas en groupes - (SGA 3) - vol.
+                  3, Structure des Sch\'{e}mas en Groupes Reductifs},
   series        = {Lecture Notes in Mathematics},
   volume        = {153},
   pages         = {85--155},
   publisher     = {Springer-Verlag},
   year          = {1970},
-  url           = {https://wstein.org/sga/SGA3/Expo21-alpha.pdf},
+  url           = {https://wstein.org/sga/SGA3/Expo21-alpha.pdf}
 }
 
 @InProceedings{   demoura2015lean,