Theorem FermatLastTheoremWith.fermatLastTheoremWith'

Modification history

2025-04-15 07:29

Mathlib/NumberTheory/FLT/Basic.lean

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

Modified FermatLastTheoremWith.fermatLastTheoremWith'View on Github →

2024-09-10 11:35

Mathlib/NumberTheory/FLT/Basic.lean

feat(FermatLastTheorem): Add a relaxed variant of FLT allowing nonzero unit solutions (#16060) …

Added FermatLastTheoremWith.fermatLastTheoremWith'View on Github →