GroupesMoyennables.bib

# To normalize:
# bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i docs/references.bib -o docs/references.bib

# https://www.zbmath.org/ and https://mathscinet.ams.org/mathscinet
# (or the free tool https://mathscinet.ams.org/mrlookup)
# are good sources of complete bibtex entries for mathematics

# To link to an entry in `references.bib`, use the following formats:
#   [Author, *Title* (optional location)][bibkey]

@book{bourbaki2007topologie,
  title={Topologie g{\'e}n{\'e}rale: Chapitres 1 {\`a} 4},
  author={Bourbaki, N.},
  isbn={9783540339823},
  series={Bourbaki, Nicolas},
  url={https://books.google.fr/books?id=12yuCBbwijUC},
  year={2007},
  publisher={Springer Berlin Heidelberg}
}

@book{MIL2023,
  title={Mathematics in Lean},
  author={Avigad, J. and Buzzard, K. and Lewis, R. Y. and Massot, P.},
  url={https://leanprover-community.github.io/mathematics_in_lean/},
  year={2023},
}


@book{bekka_de_la_harpe_valette_2008, 
    place={Cambridge}, series={New Mathematical Monographs}, title={Kazhdan's Property (T)}, DOI={10.1017/CBO9780511542749}, publisher={Cambridge University Press}, author={Bekka, Bachir and de la Harpe, Pierre and Valette, Alain}, year={2008}, collection={New Mathematical Monographs}}

@book{dixmier1982c,
  title={C-star-algebras},
  author={Dixmier, J.},
  isbn={9780444863911},
  series={North-Holland mathemat.Library. 15},
  url={https://books.google.fr/books?id=PB7atAEACAAJ},
  year={1982},
  publisher={North-Holland}
}