Theorem fermatLastTheoremWith_nat_int_rat_tfae

Modification history

2023-09-12 12:40
Mathlib/NumberTheory/FLT/Basic.lean
feat: statement of Fermat's Last Theorem (#6508)
Added fermatLastTheoremWith_nat_int_rat_tfaeView on Github →