Lean Notes🔗

Welcome to Lean Notes — a Verso textbook built on top of Mathlib.

This document was last built at 2026-05-30 20:08 (+0000) using Lean 4.30.0 and Mathlib commit c5ea003.