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 774c38f0d939a3328e1d31f17c6f6973436505ca
• Lean 741670c439f1ca266bc7fe61ef7212cc9afd9dd8
• doc-gen d74f0abd7a7f7ee2b22184cd870f748eeded496d

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.