Zum Inhalt springen

Lean proof of Fermat’s Last Theorem [pdf]