Welcome to mathlib's documentation page

This is the API reference for mathlib, the library of mathematics being developed in Lean. If you need information about installing Lean or mathlib, or getting started with a project, please visit our community website.

This documentation was automatically generated using doc-gen on the following source commits:

• mathlib 917c3c072e487b3cccdbfeff17e75b40e45f66cb
• Lean cce7990ea86a78bdb383e38ed7f9b5ba93c60ce0
• doc-gen 097cc0926bb86982318cabde7e7cc7d5a4c3a9e4

On the left menu, the "General" and "Additional documentation" sections provide links with extra information about mathlib and related topics from our community, respectively. The "Library" section contains dropdown/expandable subsections according to mathlib's tree structure.