references

# References

Works cited in mathlib are collected on this page. This is generated from the BibTeX file docs/references.bib (view on GitHub).