Def FermatLastTheoremWith

Modification history

2025-04-15 07:29

Mathlib/NumberTheory/FLT/Basic.lean

chore(*): rename more type vars for *rings (#24022)

Modified FermatLastTheoremWith View on Github →

2023-09-12 12:40

Mathlib/NumberTheory/FLT/Basic.lean

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

Added FermatLastTheoremWith View on Github →