mathlib

7abfbc92 - doc(references.bib): add witt vector references and normalize (#6366)

doc(references.bib): add witt vector references and normalize (#6366) Now that we're actually displaying these bib links we should pay more attention to them. Two commits: one adds references for the Witt vector files, the other normalizes the bib file. We can drop the second if people don't care. Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>