From 4c23080813d6727edf284fe661ab88cefcf01a66 Mon Sep 17 00:00:00 2001 From: leanprover-community-mathlib4-bot Date: Wed, 20 Nov 2024 18:46:06 +0000 Subject: [PATCH] commit changes from style linters --- docs/references.bib | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/references.bib b/docs/references.bib index 2e8cc4d4ff0fd..6603b6a5466fe 100644 --- 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,