Theorem fermatLastTheoremThree

Modification history

2024-07-16 09:12
Mathlib/NumberTheory/FLT/Three.lean
feat: prove Fermat's Last Theorem for `n=3` (#14653) …
Added fermatLastTheoremThreeView on Github →