Mathlib Changelog
v4
Changelog
About
Github
Theorem
fermatLastTheoremFour
Modification history
2023-10-12 09:02
Mathlib/NumberTheory/FLT/Four.lean
refactor(NumberTheory/FLT): Define Fermat's Last Theorem for fixed exponent (#7494) …
Modified
fermatLastTheoremFour
View on Github →
2023-09-12 12:40
Mathlib/NumberTheory/FLT/Four.lean
feat: statement of Fermat's Last Theorem (#6508)
Added
fermatLastTheoremFour
View on Github →