Fermat's Last Theorem
Loading leaderboard data…
Problem statement
Notes: Fermat's Last Theorem: a^n + b^n = c^n has no nontrivial natural solution when n >= 3.
Source: https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem
Informal solution: via https://en.wikipedia.org/wiki/Modularity_theorem
theorem declaration uses `sorry`fermat_last_theorem :
FermatLastTheorem := ⊢ FermatLastTheorem
All goals completed! 🐙