mathlib3

01894cc4 - chore(docs): run `bibtool` on `references.bib` (#16606)

chore(docs): run `bibtool` on `references.bib` (#16606) It seems that this file is frequently extended in the wrong format. This PR just runs the suggested reformatter. At some point we should do this in CI.