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 →