Def FermatLastTheorem

Modification history

2023-10-12 09:02

Mathlib/NumberTheory/FLT/Basic.lean

refactor(NumberTheory/FLT): Define Fermat's Last Theorem for fixed exponent (#7494) …

Modified FermatLastTheorem View on Github →

2023-09-12 12:40

Mathlib/NumberTheory/FLT/Basic.lean

feat: statement of Fermat's Last Theorem (#6508)

Added FermatLastTheorem View on Github →