Theorem fermatLastTheoremWith'_of_semifield

Modification history

2025-04-15 07:29
Mathlib/NumberTheory/FLT/Basic.lean
chore(*): rename more type vars for *rings (#24022)
Modified fermatLastTheoremWith'_of_semifieldView on Github →
2025-04-09 00:36
Mathlib/NumberTheory/FLT/Basic.lean
feat: generalize Mathlib.NumberTheory (#23187) …
Added fermatLastTheoremWith'_of_semifieldView on Github →