Theorem fermatLastTheoremFor_iff_rat

Modification history

2023-10-12 09:02
Mathlib/NumberTheory/FLT/Basic.lean
refactor(NumberTheory/FLT): Define Fermat's Last Theorem for fixed exponent (#7494) …
Added fermatLastTheoremFor_iff_ratView on Github →