Theorem fermatLastTheoremThree_case_1

Modification history

2024-04-16 22:37
Mathlib/NumberTheory/FLT/Three.lean
Feat: add fermatLastTheoremThree_of_three_dvd_only_c (#11767) …
Modified fermatLastTheoremThree_case_1View on Github →
2024-03-04 18:12
Mathlib/NumberTheory/FLT/Three.lean
feat: prove case 1 of FLT in the case n=3 (#10698) …
Added fermatLastTheoremThree_case_1View on Github →