chore(Analysis.NormedSpace.CompactOperator): fix reference to now-pub…

…lished Bourbaki book (#5923)
leanprover-community · Jul 15, 2023 · c5b26a0 · c5b26a0
1 parent f1fbf07
commit c5b26a0
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/Mathlib/Analysis/NormedSpace/CompactOperator.lean b/Mathlib/Analysis/NormedSpace/CompactOperator.lean
@@ -45,7 +45,7 @@ coercing from continuous linear maps to linear maps often needs type ascriptions
 
 ## References
 
-* Bourbaki, *Spectral Theory*, chapters 3 to 5, to be published (2022)
+* [N. Bourbaki, *Théories Spectrales*, Chapitre 3][bourbaki2023]
 
 ## Tags
 

diff --git a/docs/references.bib b/docs/references.bib
@@ -386,6 +386,18 @@ @Book{            bourbaki2007
   year          = {2007}
 }
 
+@Book{            bourbaki2023,
+  author        = {Bourbaki, N.},
+  series        = {Éléments de mathématique},
+  title         = {Théories Spectrales. {C}hapitres 3 à 5},
+  isbn          = {978-3-031-19504-4},
+  language      = {fr},
+  number        = {1},
+  publisher     = {Springer Cham},
+  year          = {2023},
+  url           = {https://doi.org/10.1007/978-3-031-19505-1}
+}
+
 @Book{            boydVandenberghe2004,
   author        = {Stephen P. Boyd and Lieven Vandenberghe},
   title         = {Convex Optimization},