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 086469f741e9e6f9622c23359a20e2892c25cdf6
• Lean 4887d8a30621941c883f208e151e61ab268c006d
• doc-gen 3f7734b267ac8119565c9e833e50da16a457e1c7

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.