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 af1355c45e452f15644e0f0f7c5010c7f47b7ff2
• Lean 1781ded0d0062f40a7eaf3ead8dcbef4429c6321
• doc-gen 2b8cb2a3e7471c109f031eda59e5090b1c9b7fe3

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.