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 0f9edf98f8cd8a99a6694f19e0b3f47e7e12c165
• Lean 68455b087d87e9dc3f736da0de95807e05260460
• doc-gen 330e01df63a71a645abe664727584fb3932326d8

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.