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 67f92b6f60865717e0811128b77d49ab4c07f7f1
• Lean 855e5b74e3a52a40552e8f067169d747d48743fd
• doc-gen 58978a2e73d1901b023d9da2b7042b5d5072dc23

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.