Mathlib Manual🔗

This document has been last updated at 2025-12-28 15:30 (+0000) using Lean 4.26.0 and Mathlib commit 2df2f01.

Other resources:

• Mathlib Documentation: automatically generated collection of all declarations from Mathlib.

• The Lean Language Reference contains detailed information about Lean Code.

If you would like to contribute content, please create a PR using the two github links at the bottom left of this page!