Documents

The prose that accompanies the Lean tree, rendered as written. Backticked theorem and definition names link to their pages.

README	Fermat's Last Theorem in Lean 4
Attribution	ATTRIBUTION — third-party material in this repository, file by file

Documents the Lean sources in this repository (Lean v4.33.1, Mathlib v4.33.0). Statements are quoted textually from the .lean files; dependency edges are the import Theorems.Thm_… lines of the proof modules. About these pages.