Commit 2026-10-21 22:40 9aeb63fe

doc: add external proofs to the 100 theorems list (#44489) Adds attribution and links to Lean proofs for nine entries in docs/100.yaml: Feuerbach, Four Color, Fermat’s Last Theorem, Puiseux, the classification of Platonic solids, transcendence of π, Hermite–Lindemann, Morley and Pick. Updates Fermat’s note to distinguish the external proof from the separate mathlib-based FLT project.