mathlib

973ed779 - ci(.github/workflows): lint for formatting issues in references.bib (#16614)