chore: fix reference for Analysis in Banach spaces (#22755)

acmepjz · acmepjz · commit bdbbf57aa7f5 · 2025-03-10T07:08:23.000Z
... whose bibkey contains non-ASCII characters
diff --git a/Mathlib/MeasureTheory/Function/StronglyMeasurable/AEStronglyMeasurable.lean b/Mathlib/MeasureTheory/Function/StronglyMeasurable/AEStronglyMeasurable.lean
@@ -35,7 +35,7 @@ measurable functions, as a basis for the Bochner integral.
 ## References
 
 * [Hytönen, Tuomas, Jan Van Neerven, Mark Veraar, and Lutz Weis. Analysis in Banach spaces.
-  Springer, 2016.][Hytönen_VanNeerven_Veraar_Wies_2016]
+  Springer, 2016.][Hytonen_VanNeerven_Veraar_Wies_2016]
 
 -/
 
diff --git a/Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean b/Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
@@ -34,7 +34,7 @@ We provide a solid API for strongly measurable functions, as a basis for the Boc
 ## References
 
 * [Hytönen, Tuomas, Jan Van Neerven, Mark Veraar, and Lutz Weis. Analysis in Banach spaces.
-  Springer, 2016.][Hytönen_VanNeerven_Veraar_Wies_2016]
+  Springer, 2016.][Hytonen_VanNeerven_Veraar_Wies_2016]
 
 -/
 
diff --git a/Mathlib/MeasureTheory/Function/StronglyMeasurable/Lemmas.lean b/Mathlib/MeasureTheory/Function/StronglyMeasurable/Lemmas.lean
@@ -18,7 +18,7 @@ functions, started in `Mathlib.MeasureTheory.Function.StronglyMeasurable.Basic`.
 ## References
 
 * [Hytönen, Tuomas, Jan Van Neerven, Mark Veraar, and Lutz Weis. Analysis in Banach spaces.
-  Springer, 2016.][Hytönen_VanNeerven_Veraar_Wies_2016]
+  Springer, 2016.][Hytonen_VanNeerven_Veraar_Wies_2016]
 
 -/
 
diff --git a/Mathlib/MeasureTheory/Function/StronglyMeasurable/Lp.lean b/Mathlib/MeasureTheory/Function/StronglyMeasurable/Lp.lean
@@ -20,7 +20,7 @@ Functions in `Lp` for `0 < p < ∞` are finitely strongly measurable.
 ## References
 
 * [Hytönen, Tuomas, Jan Van Neerven, Mark Veraar, and Lutz Weis. Analysis in Banach spaces.
-  Springer, 2016.][Hytönen_VanNeerven_Veraar_Wies_2016]
+  Springer, 2016.][Hytonen_VanNeerven_Veraar_Wies_2016]
 
 -/
 
diff --git a/docs/references.bib b/docs/references.bib
@@ -2200,7 +2200,7 @@ @InProceedings{   hyman1973
   isbn          = "978-3-540-37773-3"
 }
 
-@Book{            Hytönen_VanNeerven_Veraar_Wies_2016,
+@Book{            Hytonen_VanNeerven_Veraar_Wies_2016,
   author        = {Hytönen, Tuomas and Van Neerven, Jan and Veraar, Mark and
                   Weis, Lutz},
   title         = {Analysis in Banach spaces},

Original file line number	Diff line number	Diff line change
`@@ -2200,7 +2200,7 @@ @InProceedings{ hyman1973`
`2200`	`2200`	`isbn = "978-3-540-37773-3"`
`2201`	`2201`	`}`
`2202`	`2202`
`2203`		`-@Book{ Hytönen_VanNeerven_Veraar_Wies_2016,`
	`2203`	`+@Book{ Hytonen_VanNeerven_Veraar_Wies_2016,`
`2204`	`2204`	`author = {Hytönen, Tuomas and Van Neerven, Jan and Veraar, Mark and`
`2205`	`2205`	`Weis, Lutz},`
`2206`	`2206`	`title = {Analysis in Banach spaces},`